Eric is a rough guy but he is also red, nice, green and big. Red Fred is what folks call him, because he is quite red. Gary can be described as nice, red, round, and rough. Also, he's big. Harry was born only a few years ago so he is young. Red and green people that are nice are cold to strangers. Santa Claus is red and kind. He is also very nice, especially to children. A kind, cold, round person will be nice in addition. Young people that are blue will still be kind because they are rough to the touch. Blue people who are kind and nice are actually quite rough. It's impossible for someone to be red, big, and cold without them also being kind. Someone who is big and kind is blue.
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and big and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Gary is not round.
False
1
inv-proof
[(triple7)]
("Gary" "is" "round" "-")
triple7
Eric is cold.
True
4
proof
[(((triple2 triple3 triple4) -> rule1))]
("Eric" "is" "cold" "+")
((triple2 triple3 triple4) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
4
inv-proof
[(((triple2 triple3 triple4) -> rule1))]
("Eric" "is" "cold" "-")
((triple2 triple3 triple4) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
True
7
proof
[(((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6))]
("Eric" "is" "kind" "+")
((triple2 triple5 ((triple2 triple3 triple4) -> (rule1 % int2))) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not kind.
False
7
inv-proof
[(((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6))]
("Eric" "is" "kind" "-")
((triple2 triple5 ((triple2 triple3 triple4) -> (rule1 % int2))) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
True
9
proof
[(((((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6) triple5) -> rule7))]
("Eric" "is" "blue" "+")
((((triple2 triple5 ((triple2 triple3 triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not blue.
False
9
inv-proof
[(((((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6) triple5) -> rule7))]
("Eric" "is" "blue" "-")
((((triple2 triple5 ((triple2 triple3 triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Fred" "is" "rough" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "kind" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fred" "is" "nice" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is nice.[(triple3)] Eric is red.[(triple2)] Eric is rough.[(triple1 OR ((((((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6) triple5) -> rule7) ((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6) triple3) -> rule5))] Fred is red.[(triple6)] Gary is big.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is rough.[(triple8)] Gary is round.[(triple7)] Harry is young.[(triple12)] @1: Eric is cold.[(((triple2 triple3 triple4) -> rule1))] @2: Eric is kind.[(((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6))] @3: Eric is blue.[(((((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6) triple5) -> rule7))]
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is rough.
("Eric" "is" "rough" "+")
triple1
((((((triple2 triple5 ((triple2 triple3 triple4) -> (rule1 % int4))) -> (rule6 % int3)) triple5) -> (rule7 % int2)) ((triple2 triple5 ((triple2 triple3 triple4) -> (rule1 % int4))) -> (rule6 % int3)) triple3) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple12
Eric is cold.
("Eric" "is" "cold" "+")
((triple2 triple3 triple4) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple2 triple5 ((triple2 triple3 triple4) -> (rule1 % int2))) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple2 triple5 ((triple2 triple3 triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is a rough guy but he is also red, nice, green and big.
Red Fred is what folks call him, because he is quite red.
Gary can be described as nice, red, round, and rough; Also, he's big.
Harry was born only a few years ago so he is young.
Red and green people that are nice are cold to strangers.
Santa Claus is red and kind; He is also very nice, especially to children.
A kind, cold, round person will be nice in addition.
Young people that are blue will still be kind because they are rough to the touch.
Blue people who are kind and nice are actually quite rough.
It's impossible for someone to be red, big, and cold without them also being kind.
Someone who is big and kind is blue.