Charlie is nice, even when he is rough and red with anger. Eric is rough and red, but he is still young; he is still blue with youth. A person who's big and kind will also be cold. Blue, young and round people are usually big. Someone blue and red is definitely round and dressed as a clown. People who are nice and rough are looked at as kind. If someone is red and green and feeels rough, they are kind. Kind people, for example, like the ones at the bank are always blue.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Charlie is rough.
True
1
proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Charlie is not red.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "red" "-")
triple2
Eric is round.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Eric" "is" "round" "+")
((triple7 triple6) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("Eric" "is" "round" "-")
((triple7 triple6) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Charlie is blue.
True
4
proof
[(((((triple3 triple1) -> rule4)) -> rule6))]
("Charlie" "is" "blue" "+")
((((triple3 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not blue.
False
4
inv-proof
[(((((triple3 triple1) -> rule4)) -> rule6))]
("Charlie" "is" "blue" "-")
((((triple3 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
True
6
proof
[(((((((triple3 triple1) -> rule4)) -> rule6) triple2) -> rule3))]
("Charlie" "is" "round" "+")
((((((triple3 triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not round.
False
6
inv-proof
[(((((((triple3 triple1) -> rule4)) -> rule6) triple2) -> rule3))]
("Charlie" "is" "round" "-")
((((((triple3 triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "cold" "+")
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Eric is blue.[(triple7)] Eric is red.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] @1: Charlie is kind.[(((triple3 triple1) -> rule4))] Eric is round.[(((triple7 triple6) -> rule3))] @2: Charlie is blue.[(((((triple3 triple1) -> rule4)) -> rule6))] Eric is big.[(((triple7 triple4 ((triple7 triple6) -> rule3)) -> rule2))] @3: Charlie is round.[(((((((triple3 triple1) -> rule4)) -> rule6) triple2) -> rule3))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 triple1) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple7 triple6) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple3 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple7 triple4 ((triple7 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple3 triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice, even when he is rough and red with anger.
Eric is rough and red, but he is still young; he is still blue with youth.
A person who's big and kind will also be cold.
Blue, young and round people are usually big.
Someone blue and red is definitely round and dressed as a clown.
People who are nice and rough are looked at as kind.
If someone is red and green and feeels rough, they are kind.
Kind people, for example, like the ones at the bank are always blue.