Alan who is considered nice was feeling rather rough today. Others enjoy Bob's company because he is so nice and kind. Charlie is a nice and kind young man who is quite big in size. Eric is young and kind.  But he plays really rough with his friends. Nice, green people that are somewhat round are big through the shoulders. Red people who are green and blue are always kind. Whenever you see Pete you run into a young man rough, which means he will be nice. A person that is both nice and young will also be cold. Most kind and cold people are also big.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Eric is kind.
True
1
proof
[(triple11)]
("Eric" "is" "kind" "+")
triple11
Alan is not nice.
False
1
inv-proof
[(triple2)]
("Alan" "is" "nice" "-")
triple2
Eric is nice.
True
3
proof
[(((triple9 triple10) -> rule3))]
("Eric" "is" "nice" "+")
((triple9 triple10) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple9 triple10) -> rule3))]
("Eric" "is" "nice" "-")
((triple9 triple10) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
True
5
proof
[(((((triple9 triple10) -> rule3) triple9) -> rule4))]
("Eric" "is" "cold" "+")
((((triple9 triple10) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not cold.
False
5
inv-proof
[(((((triple9 triple10) -> rule3) triple9) -> rule4))]
("Eric" "is" "cold" "-")
((((triple9 triple10) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is big.
True
7
proof
[(((triple11 ((((triple9 triple10) -> rule3) triple9) -> rule4)) -> rule5))]
("Eric" "is" "big" "+")
((triple11 ((((triple9 triple10) -> (rule3 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not big.
False
7
inv-proof
[(((triple11 ((((triple9 triple10) -> rule3) triple9) -> rule4)) -> rule5))]
("Eric" "is" "big" "-")
((triple11 ((((triple9 triple10) -> (rule3 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Bob" "is" "big" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "kind" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is big.
Unknown
rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is kind.[(triple4)] Bob is nice.[(triple3)] Charlie is big.[(triple8 OR ((triple7 ((triple6 triple5) -> rule4)) -> rule5))] Charlie is kind.[(triple7)] Charlie is nice.[(triple6)] Charlie is young.[(triple5)] Eric is kind.[(triple11)] Eric is rough.[(triple10)] Eric is young.[(triple9)] @1: Charlie is cold.[(((triple6 triple5) -> rule4))] Eric is nice.[(((triple9 triple10) -> rule3))] @2: Eric is cold.[(((((triple9 triple10) -> rule3) triple9) -> rule4))] @3: Eric is big.[(((triple11 ((((triple9 triple10) -> rule3) triple9) -> rule4)) -> rule5))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple8
((triple7 ((triple6 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple11
Eric is rough.
("Eric" "is" "rough" "+")
triple10
Eric is young.
("Eric" "is" "young" "+")
triple9
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple6 triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple9 triple10) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((((triple9 triple10) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple11 ((((triple9 triple10) -> (rule3 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Alan who is considered nice was feeling rather rough today.
Others enjoy Bob's company because he is so nice and kind.
Charlie is a nice and kind young man who is quite big in size.
Eric is young and kind; But he plays really rough with his friends.
Nice, green people that are somewhat round are big through the shoulders.
Red people who are green and blue are always kind.
Whenever you see Pete you run into a young man rough, which means he will be nice.
A person that is both nice and young will also be cold.
Most kind and cold people are also big.