Charlie was round, nice, and because he was cold, he looked rather blue. To the touch Fred has rough, cold skin. Gary, a blue and green creature, was also big, rough and kind to others. Red Harry is what folks call him, because he is quite red. Blue Christmas ornaments are also red. Young and rough people tend to be green too. If you see someone who is red and green they are round, like Santa Claus. A green person who is kind and a bit blue is young. Rough, round persons are also nice persons. Blue people who are big tend to be rough.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is cold.
True
1
proof
[(triple3)]
("Charlie" "is" "cold" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple10)]
("Gary" "is" "blue" "-")
triple10
Gary is young.
True
4
proof
[(((triple10 triple8 triple9) -> rule4))]
("Gary" "is" "young" "+")
((triple10 triple8 triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "red" "-")
((triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
True
4
proof
[(((((triple10) -> rule1) triple9) -> rule3))]
("Gary" "is" "round" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not round.
False
4
inv-proof
[(((((triple10) -> rule1) triple9) -> rule3))]
("Gary" "is" "round" "-")
((((triple10) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
True
6
proof
[(((triple7 ((((triple10) -> rule1) triple9) -> rule3)) -> rule5) OR ((((triple10 triple11) -> rule6) ((((triple10) -> rule1) triple9) -> rule3)) -> rule5))]
("Gary" "is" "nice" "+")
((triple7 ((((triple10) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple10 triple11) -> (rule6 % int4)) ((((triple10) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not nice.
False
6
inv-proof
[(((triple7 ((((triple10) -> rule1) triple9) -> rule3)) -> rule5) OR ((((triple10 triple11) -> rule6) ((((triple10) -> rule1) triple9) -> rule3)) -> rule5))]
("Gary" "is" "nice" "-")
((triple7 ((((triple10) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple10 triple11) -> (rule6 % int4)) ((((triple10) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "-")
Fred is nice.
Unknown
rconc
[@3: Fred is nice.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Fred is cold.[(triple6)] Fred is rough.[(triple5)] Gary is big.[(triple11)] Gary is blue.[(triple10)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is rough.[(triple7 OR ((triple10 triple11) -> rule6))] Harry is red.[(triple12)] @1: Charlie is red.[(((triple4) -> rule1))] Gary is red.[(((triple10) -> rule1))] Gary is young.[(((triple10 triple8 triple9) -> rule4))] @2: Gary is round.[(((((triple10) -> rule1) triple9) -> rule3))] @3: Gary is nice.[(((triple7 ((((triple10) -> rule1) triple9) -> rule3)) -> rule5) OR ((((triple10 triple11) -> rule6) ((((triple10) -> rule1) triple9) -> rule3)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
((triple10 triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple12
Charlie is red.
("Charlie" "is" "red" "+")
((triple4) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10 triple8 triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((((triple10) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple7 ((((triple10) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple10 triple11) -> (rule6 % int4)) ((((triple10) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Charlie was round, nice, and because he was cold, he looked rather blue.
To the touch Fred has rough, cold skin.
Gary, a blue and green creature, was also big, rough and kind to others.
Red Harry is what folks call him, because he is quite red.
Blue Christmas ornaments are also red.
Young and rough people tend to be green too.
If you see someone who is red and green they are round, like Santa Claus.
A green person who is kind and a bit blue is young.
Rough, round persons are also nice persons.
Blue people who are big tend to be rough.