Charlie is round shaped and green colored. Fred looks red to most people, with blue features. That rough but kind guy is Gary, the green one. Harry has green teeth and rough skin. People also notice his blue eyes. Because someone is green and kind they are extremely nice to people. Green and blue people have a habit of being cold, which makes them red too. Fat, round people who are green with envy and notoriously rough. Nice green people and often blue with sadness. Rough, round persons are also nice persons.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Charlie is green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple10)]
("Harry" "is" "blue" "-")
triple10
Charlie is rough.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Charlie" "is" "rough" "+")
((triple2 triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Charlie" "is" "rough" "-")
((triple2 triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
True
5
proof
[(((((triple2 triple1) -> rule3) triple1) -> rule5))]
("Charlie" "is" "nice" "+")
((((triple2 triple1) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is not blue.
False
5
inv-proof
[(((triple7 ((triple7 triple6) -> rule1)) -> rule4))]
("Gary" "is" "blue" "-")
((triple7 ((triple7 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Charlie is blue.
True
7
proof
[(((triple2 ((((triple2 triple1) -> rule3) triple1) -> rule5)) -> rule4))]
("Charlie" "is" "blue" "+")
((triple2 ((((triple2 triple1) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not blue.
False
7
inv-proof
[(((triple2 ((((triple2 triple1) -> rule3) triple1) -> rule5)) -> rule4))]
("Charlie" "is" "blue" "-")
((triple2 ((((triple2 triple1) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is green.[(triple2)] Charlie is round.[(triple1)] Fred is blue.[(triple4)] Fred is red.[(triple3)] Gary is green.[(triple7)] Gary is kind.[(triple6)] Gary is rough.[(triple5)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is rough.[(triple8)] @1: Charlie is rough.[(((triple2 triple1) -> rule3))] Gary is nice.[(((triple7 triple6) -> rule1))] @2: Charlie is nice.[(((((triple2 triple1) -> rule3) triple1) -> rule5))] Gary is blue.[(((triple7 ((triple7 triple6) -> rule1)) -> rule4))] @3: Charlie is blue.[(((triple2 ((((triple2 triple1) -> rule3) triple1) -> rule5)) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple7 triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple2 triple1) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple7 ((triple7 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2 ((((triple2 triple1) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round shaped and green colored.
Fred looks red to most people, with blue features.
That rough but kind guy is Gary, the green one.
Harry has green teeth and rough skin; People also notice his blue eyes.
Because someone is green and kind they are extremely nice to people.
Green and blue people have a habit of being cold, which makes them red too.
Fat, round people who are green with envy and notoriously rough.
Nice green people and often blue with sadness.
Rough, round persons are also nice persons.