Young Bob is a round fellow: sometimes nice, sometimes rough. Charlie is a nice person who is red because he has a rash. Eric ate some rotten meat and now feels green. Harry was born only a few years ago so he is young. A green, downhearted, and blue person with red cheeks is big. A round person who is cold is big. Someone can be young, big, and cold but green. That young person is feeling cold because he is green to the situation making his body shape round. Green people who are kind with rosy red skin are round. Round, nice people are normally cold and nasty.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Harry is young.
True
1
proof
[(triple8)]
("Harry" "is" "young" "+")
triple8
Eric is not green.
False
1
inv-proof
[(triple7)]
("Eric" "is" "green" "-")
triple7
Bob is cold.
True
3
proof
[(((triple2 triple4) -> rule6))]
("Bob" "is" "cold" "+")
((triple2 triple4) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple2 triple4) -> rule6))]
("Bob" "is" "cold" "-")
((triple2 triple4) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
True
5
proof
[(((((triple2 triple4) -> rule6) triple2) -> rule2))]
("Bob" "is" "big" "+")
((((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not big.
False
5
inv-proof
[(((((triple2 triple4) -> rule6) triple2) -> rule2))]
("Bob" "is" "big" "-")
((((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
True
10
proof
[(((triple1 ((triple2 triple4) -> rule6) ((((triple2 triple4) -> rule6) triple2) -> rule2)) -> rule3))]
("Bob" "is" "green" "+")
((triple1 ((triple2 triple4) -> (rule6 % int3)) ((((triple2 triple4) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not green.
False
10
inv-proof
[(((triple1 ((triple2 triple4) -> rule6) ((((triple2 triple4) -> rule6) triple2) -> rule2)) -> rule3))]
("Bob" "is" "green" "-")
((triple1 ((triple2 triple4) -> (rule6 % int3)) ((((triple2 triple4) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Charlie" "is" "big" "+")
Eric is not big.
Unknown
inv-rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Eric" "is" "big" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Bob is nice.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is nice.[(triple6)] Charlie is red.[(triple5)] Eric is green.[(triple7)] Harry is young.[(triple8)] @1: Bob is cold.[(((triple2 triple4) -> rule6))] @2: Bob is big.[(((((triple2 triple4) -> rule6) triple2) -> rule2))] @3: Bob is green.[(((triple1 ((triple2 triple4) -> rule6) ((((triple2 triple4) -> rule6) triple2) -> rule2)) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 triple4) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple1 ((triple2 triple4) -> (rule6 % int3)) ((((triple2 triple4) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Young Bob is a round fellow: sometimes nice, sometimes rough.
Charlie is a nice person who is red because he has a rash.
Eric ate some rotten meat and now feels green.
Harry was born only a few years ago so he is young.
A green, downhearted, and blue person with red cheeks is big.
A round person who is cold is big.
Someone can be young, big, and cold but green.
That young person is feeling cold because he is green to the situation making his body shape round.
Green people who are kind with rosy red skin are round.
Round, nice people are normally cold and nasty.