They always call him rough Fred. Everyone noticed how round and nice Gary was. He was kind, and everyone thought he was green and big. Harry was born only a few years ago so he is young. Kind, young, green persons are sure to be rough persons, too. Blue and red people are often rough. When you know someone who is young and green you can count on them being nice to everyone. Anybody that is big is also someone who is going to be blue. Nice green people who feel blue are often red in color.
Fred is rough.
("Fred" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and blue and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Fred is not rough.
False
1
inv-proof
[(triple1)]
("Fred" "is" "rough" "-")
triple1
Gary is blue.
True
2
proof
[(((triple6) -> rule4))]
("Gary" "is" "blue" "+")
((triple6) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple6) -> rule4))]
("Gary" "is" "blue" "-")
((triple6) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
True
5
proof
[(((triple5 ((triple6) -> rule4) triple3) -> rule5))]
("Gary" "is" "red" "+")
((triple5 ((triple6) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not red.
False
5
inv-proof
[(((triple5 ((triple6) -> rule4) triple3) -> rule5))]
("Gary" "is" "red" "-")
((triple5 ((triple6) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
True
8
proof
[(((((triple6) -> rule4) ((triple5 ((triple6) -> rule4) triple3) -> rule5)) -> rule2))]
("Gary" "is" "rough" "+")
((((triple6) -> (rule4 % int3)) ((triple5 ((triple6) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not rough.
False
8
inv-proof
[(((((triple6) -> rule4) ((triple5 ((triple6) -> rule4) triple3) -> rule5)) -> rule2))]
("Gary" "is" "rough" "-")
((((triple6) -> (rule4 % int3)) ((triple5 ((triple6) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "red" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Fred is rough.[(triple1)] Gary is big.[(triple6)] Gary is green.[(triple5)] Gary is kind.[(triple4)] Gary is nice.[(triple3)] Gary is round.[(triple2)] Harry is young.[(triple7)] @1: Gary is blue.[(((triple6) -> rule4))] @2: Gary is red.[(((triple5 ((triple6) -> rule4) triple3) -> rule5))] @3: Gary is rough.[(((((triple6) -> rule4) ((triple5 ((triple6) -> rule4) triple3) -> rule5)) -> rule2))]
Fred is rough.
("Fred" "is" "rough" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
((triple6) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple5 ((triple6) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple6) -> (rule4 % int3)) ((triple5 ((triple6) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
They always call him rough Fred.
Everyone noticed how round and nice Gary was; He was kind, and everyone thought he was green and big.
Harry was born only a few years ago so he is young.
Kind, young, green persons are sure to be rough persons, too.
Blue and red people are often rough.
When you know someone who is young and green you can count on them being nice to everyone.
Anybody that is big is also someone who is going to be blue.
Nice green people who feel blue are often red in color.