Charlie is still young and round, but he is nice to everyone and kind to animals. Red Dave is what folks call him, because he is quite red. That Eric is a round, rough fellow, and he's nice, as well as big. People who are rough and green with envy are young. If you can find someone who is nice and red, then be relieved that they are certain to be kind. A person who is very round is nice but also quite rough. A young, cold person is often blue. If you meet a young and kind person who is also rough, they are cold, too.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Charlie is not young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Charlie is rough.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Charlie" "is" "rough" "+")
((triple2 triple3) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Charlie" "is" "rough" "-")
((triple2 triple3) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
True
6
proof
[(((((triple2 triple3) -> rule3) triple1 triple4) -> rule5))]
("Charlie" "is" "cold" "+")
((((triple2 triple3) -> (rule3 % int2)) triple1 triple4) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not cold.
False
6
inv-proof
[(((((triple2 triple3) -> rule3) triple1 triple4) -> rule5))]
("Charlie" "is" "cold" "-")
((((triple2 triple3) -> (rule3 % int2)) triple1 triple4) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
True
8
proof
[(((((((triple2 triple3) -> rule3) triple1 triple4) -> rule5) triple1) -> rule4))]
("Charlie" "is" "blue" "+")
((((((triple2 triple3) -> (rule3 % int3)) triple1 triple4) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not blue.
False
8
inv-proof
[(((((((triple2 triple3) -> rule3) triple1 triple4) -> rule5) triple1) -> rule4))]
("Charlie" "is" "blue" "-")
((((((triple2 triple3) -> (rule3 % int3)) triple1 triple4) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Eric" "is" "blue" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not cold.
Unknown
inv-rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is red.[(triple5)] Eric is big.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7 OR ((triple6 triple8) -> rule3))] Eric is round.[(triple6)] @1: Charlie is rough.[(((triple2 triple3) -> rule3))] @2: Charlie is cold.[(((((triple2 triple3) -> rule3) triple1 triple4) -> rule5))] @3: Charlie is blue.[(((((((triple2 triple3) -> rule3) triple1 triple4) -> rule5) triple1) -> rule4))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
((triple6 triple8) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple3) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple2 triple3) -> (rule3 % int2)) triple1 triple4) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple2 triple3) -> (rule3 % int3)) triple1 triple4) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is still young and round, but he is nice to everyone and kind to animals.
Red Dave is what folks call him, because he is quite red.
That Eric is a round, rough fellow, and he's nice, as well as big.
People who are rough and green with envy are young.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
A person who is very round is nice but also quite rough.
A young, cold person is often blue.
If you meet a young and kind person who is also rough, they are cold, too.