Although Alan is young and nice, he is as cold as ice. Eric was looking rather round and feeling rather cold, but people thought he is kind. Fred is rough, but often feels blue. He is pretty young. Even though Harry is green with envy he is nice with rosy red cheeks. People that tend to be big and green also tend to be cold. If people are cold they are often red. Red and round people are nice to others even though they are big. Anyone that's rough and cold is also going to be blue. Blue, red, young people are always going to be kind people, too. A nice young person will be rough in texture.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Fred is young.
True
1
proof
[(triple7)]
("Fred" "is" "young" "+")
triple7
Eric is not cold.
False
1
inv-proof
[(triple6)]
("Eric" "is" "cold" "-")
triple6
Eric is red.
True
2
proof
[(((triple6) -> rule2))]
("Eric" "is" "red" "+")
((triple6) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Alan is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("Alan" "is" "red" "-")
((triple3) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
True
5
proof
[(((triple3 ((triple1 triple2) -> rule6)) -> rule4))]
("Alan" "is" "blue" "+")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((triple3 ((triple1 triple2) -> rule6)) -> rule4))]
("Alan" "is" "blue" "-")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is kind.
True
9
proof
[(((((triple3 ((triple1 triple2) -> rule6)) -> rule4) ((triple3) -> rule2) triple1) -> rule5))]
("Alan" "is" "kind" "+")
((((triple3 ((triple1 triple2) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is not kind.
False
9
inv-proof
[(((((triple3 ((triple1 triple2) -> rule6)) -> rule4) ((triple3) -> rule2) triple1) -> rule5))]
("Alan" "is" "kind" "-")
((((triple3 ((triple1 triple2) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "big" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Eric is cold.[(triple6)] Eric is kind.[(triple5)] Eric is round.[(triple4)] Fred is blue.[(triple9)] Fred is rough.[(triple8)] Fred is young.[(triple7)] Harry is green.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] @1: Alan is red.[(((triple3) -> rule2))] Alan is rough.[(((triple1 triple2) -> rule6))] Eric is red.[(((triple6) -> rule2))] @2: Alan is blue.[(((triple3 ((triple1 triple2) -> rule6)) -> rule4))] @3: Alan is kind.[(((((triple3 ((triple1 triple2) -> rule6)) -> rule4) ((triple3) -> rule2) triple1) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Alan is red.
("Alan" "is" "red" "+")
((triple3) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple6) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((triple3 ((triple1 triple2) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Although Alan is young and nice, he is as cold as ice.
Eric was looking rather round and feeling rather cold, but people thought he is kind.
Fred is rough, but often feels blue; He is pretty young.
Even though Harry is green with envy he is nice with rosy red cheeks.
People that tend to be big and green also tend to be cold.
If people are cold they are often red.
Red and round people are nice to others even though they are big.
Anyone that's rough and cold is also going to be blue.
Blue, red, young people are always going to be kind people, too.
A nice young person will be rough in texture.