Charlie is big and dresses in blue. Eric is big and tends to wear red shirts. Fred was quite young and green. He was also cold and big. Although Harry is young and nice, he is as cold as ice. People who are red and round are usually assumed to be green. When a kind person is feeling cold with red skin, they will be round as well. When you know someone who is young and green you can count on them being nice to everyone. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. A kind and nice person who is looking green is often red. If a person has round shape then they are also green and red.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Fred is big.
True
1
proof
[(triple8)]
("Fred" "is" "big" "+")
triple8
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Fred is nice.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Fred" "is" "nice" "+")
((triple5 triple6) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("Fred" "is" "nice" "-")
((triple5 triple6) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
True
6
proof
[(((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4))]
("Fred" "is" "kind" "+")
((triple5 triple8 ((triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not kind.
False
6
inv-proof
[(((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4))]
("Fred" "is" "kind" "-")
((triple5 triple8 ((triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
True
11
proof
[(((((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4) ((triple5 triple6) -> rule3) triple6) -> rule5))]
("Fred" "is" "red" "+")
((((triple5 triple8 ((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5 triple6) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not red.
False
11
inv-proof
[(((((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4) ((triple5 triple6) -> rule3) triple6) -> rule5))]
("Fred" "is" "red" "-")
((((triple5 triple8 ((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5 triple6) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is round.
True
19
proof
[(((triple7 ((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4) ((((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4) ((triple5 triple6) -> rule3) triple6) -> rule5)) -> rule2))]
("Fred" "is" "round" "+")
((triple7 ((triple5 triple8 ((triple5 triple6) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple5 triple8 ((triple5 triple6) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5 triple6) -> (rule3 % int4)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is not round.
False
19
inv-proof
[(((triple7 ((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4) ((((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4) ((triple5 triple6) -> rule3) triple6) -> rule5)) -> rule2))]
("Fred" "is" "round" "-")
((triple7 ((triple5 triple8 ((triple5 triple6) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple5 triple8 ((triple5 triple6) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5 triple6) -> (rule3 % int4)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "kind" "+")
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Charlie is big.[(triple2)] Charlie is blue.[(triple1)] Eric is big.[(triple4)] Eric is red.[(triple3)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is green.[(triple6)] Fred is young.[(triple5)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Fred is nice.[(((triple5 triple6) -> rule3))] @2: Fred is kind.[(((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4))] @3: Fred is red.[(((((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4) ((triple5 triple6) -> rule3) triple6) -> rule5))] @4: Fred is round.[(((triple7 ((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4) ((((triple5 triple8 ((triple5 triple6) -> rule3)) -> rule4) ((triple5 triple6) -> rule3) triple6) -> rule5)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
((triple5 triple6) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple5 triple8 ((triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple5 triple8 ((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5 triple6) -> (rule3 % int3)) triple6) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((triple7 ((triple5 triple8 ((triple5 triple6) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple5 triple8 ((triple5 triple6) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5 triple6) -> (rule3 % int4)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Charlie is big and dresses in blue.
Eric is big and tends to wear red shirts.
Fred was quite young and green; He was also cold and big.
Although Harry is young and nice, he is as cold as ice.
People who are red and round are usually assumed to be green.
When a kind person is feeling cold with red skin, they will be round as well.
When you know someone who is young and green you can count on them being nice to everyone.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
A kind and nice person who is looking green is often red.
If a person has round shape then they are also green and red.