Charlie is a person who is young and also rough. He's also someone who is big and blue. They always call him rough Dave. Fred is round shaped and green colored. Gary always goes out of his way to show that he is kind to people. Young and rough people tend to be green too. Look for the blue and green people, they are kind and will give you directions if you're lost. Nice, green people that are somewhat round are big through the shoulders. Anyone that is nice and kind and also green will usually be young as well. You will discover that green rough people are always red. Rough people will often be blue.  They thrive on being kind and nice.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and kind and blue then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Fred is round.
True
1
proof
[(triple6)]
("Fred" "is" "round" "+")
triple6
Dave is not rough.
False
1
inv-proof
[(triple5)]
("Dave" "is" "rough" "-")
triple5
Charlie is green.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Charlie" "is" "green" "+")
((triple1 triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Charlie" "is" "green" "-")
((triple1 triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
True
5
proof
[(((((triple1 triple2) -> rule1) triple2) -> rule5))]
("Charlie" "is" "red" "+")
((((triple1 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not kind.
False
5
inv-proof
[(((triple3 ((triple1 triple2) -> rule1)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple3 ((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
True
8
proof
[(((triple2 ((triple3 ((triple1 triple2) -> rule1)) -> rule2) triple3) -> rule6))]
("Charlie" "is" "nice" "+")
((triple2 ((triple3 ((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not nice.
False
8
inv-proof
[(((triple2 ((triple3 ((triple1 triple2) -> rule1)) -> rule2) triple3) -> rule6))]
("Charlie" "is" "nice" "-")
((triple2 ((triple3 ((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Fred is big.
Unknown
rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Fred" "is" "big" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Dave is green.
Unknown
rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Dave" "is" "green" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Dave is rough.[(triple5)] Fred is green.[(triple7)] Fred is round.[(triple6)] Gary is kind.[(triple8)] @1: Charlie is green.[(((triple1 triple2) -> rule1))] @2: Charlie is kind.[(((triple3 ((triple1 triple2) -> rule1)) -> rule2))] Charlie is red.[(((((triple1 triple2) -> rule1) triple2) -> rule5))] @3: Charlie is nice.[(((triple2 ((triple3 ((triple1 triple2) -> rule1)) -> rule2) triple3) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
((triple1 triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 ((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple1 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 ((triple3 ((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is a person who is young and also rough; He's also someone who is big and blue.
They always call him rough Dave.
Fred is round shaped and green colored.
Gary always goes out of his way to show that he is kind to people.
Young and rough people tend to be green too.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Nice, green people that are somewhat round are big through the shoulders.
Anyone that is nice and kind and also green will usually be young as well.
You will discover that green rough people are always red.
Rough people will often be blue; They thrive on being kind and nice.