Bob ate some rotten meat and now feels green. Fred is big and round with red rosy cheeks. He is young and kind. Gary is big and dresses in blue. If you big person approaches and is cold, fear not because they are nice. People,though rough and red,tend to be cold too. People who are round and young are also quite nice. A kind person who is green is usually round. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. Blue, red, young people are always going to be kind people, too. A green colored and rough person will be quite kind.
Bob is green.
("Bob" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
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 green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Fred is red.
True
1
proof
[(triple4)]
("Fred" "is" "red" "+")
triple4
Gary is not blue.
False
1
inv-proof
[(triple7)]
("Gary" "is" "blue" "-")
triple7
Fred is nice.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Fred" "is" "nice" "+")
((triple2 triple3) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Fred" "is" "nice" "-")
((triple2 triple3) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
True
6
proof
[(((triple5 triple3 ((triple2 triple3) -> rule3)) -> rule5))]
("Fred" "is" "rough" "+")
((triple5 triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not rough.
False
6
inv-proof
[(((triple5 triple3 ((triple2 triple3) -> rule3)) -> rule5))]
("Fred" "is" "rough" "-")
((triple5 triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is cold.
True
8
proof
[(((((triple5 triple3 ((triple2 triple3) -> rule3)) -> rule5) triple4) -> rule2))]
("Fred" "is" "cold" "+")
((((triple5 triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not cold.
False
8
inv-proof
[(((((triple5 triple3 ((triple2 triple3) -> rule3)) -> rule5) triple4) -> rule2))]
("Fred" "is" "cold" "-")
((((triple5 triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule5 <- FAIL)]]
("Bob" "is" "round" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Bob is green.[(triple1)] Fred is big.[(triple6)] Fred is kind.[(triple5)] Fred is red.[(triple4)] Fred is round.[(triple3)] Fred is young.[(triple2)] Gary is big.[(triple8)] Gary is blue.[(triple7)] @1: Fred is nice.[(((triple2 triple3) -> rule3))] @2: Fred is rough.[(((triple5 triple3 ((triple2 triple3) -> rule3)) -> rule5))] @3: Fred is cold.[(((((triple5 triple3 ((triple2 triple3) -> rule3)) -> rule5) triple4) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
((triple2 triple3) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple5 triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple5 triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Bob ate some rotten meat and now feels green.
Fred is big and round with red rosy cheeks; He is young and kind.
Gary is big and dresses in blue.
If you big person approaches and is cold, fear not because they are nice.
People,though rough and red,tend to be cold too.
People who are round and young are also quite nice.
A kind person who is green is usually round.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
Blue, red, young people are always going to be kind people, too.
A green colored and rough person will be quite kind.