Eric always goes out of his way to show that he is kind to people. Fred is round, dresses in red, but is blue with cold. Gary looks big and is kind with red hair and green shoes. A rough textured and cold person is definitely young. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. A round shaped and red person is definitely nice. 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. A person who is very round is nice but also quite rough. If you meet somebody who is young, rough and round, you can be sure they are nice as well. If you meet a young and kind person who is also rough, they are cold, too.
Eric is kind.
("Eric" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
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 round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Fred is cold.
True
1
proof
[(triple4)]
("Fred" "is" "cold" "+")
triple4
Fred is not round.
False
1
inv-proof
[(triple2)]
("Fred" "is" "round" "-")
triple2
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
5
proof
[(((triple2 ((triple2 triple3) -> rule3)) -> rule5))]
("Fred" "is" "rough" "+")
((triple2 ((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
5
inv-proof
[(((triple2 ((triple2 triple3) -> rule3)) -> rule5))]
("Fred" "is" "rough" "-")
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
True
7
proof
[(((((triple2 ((triple2 triple3) -> rule3)) -> rule5) triple4) -> rule1))]
("Fred" "is" "young" "+")
((((triple2 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not young.
False
7
inv-proof
[(((((triple2 ((triple2 triple3) -> rule3)) -> rule5) triple4) -> rule1))]
("Fred" "is" "young" "-")
((((triple2 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Gary" "is" "cold" "+")
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Eric is kind.[(triple1)] Fred is blue.[(triple5)] Fred is cold.[(triple4)] Fred is red.[(triple3)] Fred is round.[(triple2)] Gary is big.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is red.[(triple6)] @1: Fred is nice.[(((triple2 triple3) -> rule3))] @2: Fred is rough.[(((triple2 ((triple2 triple3) -> rule3)) -> rule5))] @3: Fred is young.[(((((triple2 ((triple2 triple3) -> rule3)) -> rule5) triple4) -> rule1))]
Eric is kind.
("Eric" "is" "kind" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
((triple2 triple3) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple2 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Eric always goes out of his way to show that he is kind to people.
Fred is round, dresses in red, but is blue with cold.
Gary looks big and is kind with red hair and green shoes.
A rough textured and cold person is definitely young.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
A round shaped and red person is definitely nice.
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.
A person who is very round is nice but also quite rough.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.
If you meet a young and kind person who is also rough, they are cold, too.