Alan was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Charlie is big and rough. Fred is big and tends to wear red shirts. Gary is a nice, kind young man.  Gary keeps a sweater with him because he is always cold. Blue Christmas ornaments are also red. Kind, young, green persons are sure to be rough persons, too. Young and nice people have great big smiles. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Alan is round.
True
1
proof
[(triple1)]
("Alan" "is" "round" "+")
triple1
Gary is not young.
False
1
inv-proof
[(triple8)]
("Gary" "is" "young" "-")
triple8
Gary is big.
True
3
proof
[(((triple8 triple9) -> rule3))]
("Gary" "is" "big" "+")
((triple8 triple9) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple8 triple9) -> rule3))]
("Gary" "is" "big" "-")
((triple8 triple9) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
True
6
proof
[(((triple9 triple11 ((triple8 triple9) -> rule3)) -> rule4))]
("Gary" "is" "blue" "+")
((triple9 triple11 ((triple8 triple9) -> (rule3 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not blue.
False
6
inv-proof
[(((triple9 triple11 ((triple8 triple9) -> rule3)) -> rule4))]
("Gary" "is" "blue" "-")
((triple9 triple11 ((triple8 triple9) -> (rule3 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
True
7
proof
[(((((triple9 triple11 ((triple8 triple9) -> rule3)) -> rule4)) -> rule1))]
("Gary" "is" "red" "+")
((((triple9 triple11 ((triple8 triple9) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not red.
False
7
inv-proof
[(((((triple9 triple11 ((triple8 triple9) -> rule3)) -> rule4)) -> rule1))]
("Gary" "is" "red" "-")
((((triple9 triple11 ((triple8 triple9) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple5)] Charlie is rough.[(triple4)] Fred is big.[(triple7)] Fred is red.[(triple6)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] Gary is young.[(triple8)] @1: Alan is red.[(((triple3) -> rule1))] Gary is big.[(((triple8 triple9) -> rule3))] @2: Gary is blue.[(((triple9 triple11 ((triple8 triple9) -> rule3)) -> rule4))] @3: Gary is red.[(((((triple9 triple11 ((triple8 triple9) -> rule3)) -> rule4)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Alan is red.
("Alan" "is" "red" "+")
((triple3) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple8 triple9) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple9 triple11 ((triple8 triple9) -> (rule3 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple9 triple11 ((triple8 triple9) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Alan was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Charlie is big and rough.
Fred is big and tends to wear red shirts.
Gary is a nice, kind young man; Gary keeps a sweater with him because he is always cold.
Blue Christmas ornaments are also red.
Kind, young, green persons are sure to be rough persons, too.
Young and nice people have great big smiles.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.