Young Alan got into a fight that left him with red sores on his face. Bob, a green man, was also big, but underneath he was kind. Dave happens to be nice and green even though he is big and cold. Eric is big and round man that is looking rather green after seeing some bad mayonnaise. A downhearted blue person who is kind is round. Big people that are cold will show you how rough they actually are. People with big hands and red, rough skin are terribly kind. You know when you meet a red, blue and kind person, that means they are green. Interestingly, cold and rough people are kind. A cold natured but kind person will certainly be red. A blue, rough and round person will also be a big person.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Dave is nice.
True
1
proof
[(triple6)]
("Dave" "is" "nice" "+")
triple6
Eric is not round.
False
1
inv-proof
[(triple10)]
("Eric" "is" "round" "-")
triple10
Dave is rough.
True
3
proof
[(((triple8 triple9) -> rule2))]
("Dave" "is" "rough" "+")
((triple8 triple9) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple8 triple9) -> rule2))]
("Dave" "is" "rough" "-")
((triple8 triple9) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
True
5
proof
[(((triple8 ((triple8 triple9) -> rule2)) -> rule5))]
("Dave" "is" "kind" "+")
((triple8 ((triple8 triple9) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((triple8 ((triple8 triple9) -> rule2)) -> rule5))]
("Dave" "is" "kind" "-")
((triple8 ((triple8 triple9) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
True
7
proof
[(((triple8 ((triple8 ((triple8 triple9) -> rule2)) -> rule5)) -> rule6))]
("Dave" "is" "red" "+")
((triple8 ((triple8 ((triple8 triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not red.
False
7
inv-proof
[(((triple8 ((triple8 ((triple8 triple9) -> rule2)) -> rule5)) -> rule6))]
("Dave" "is" "red" "-")
((triple8 ((triple8 ((triple8 triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "red" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple5)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Dave is big.[(triple9)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is nice.[(triple6)] Eric is big.[(triple12)] Eric is green.[(triple11)] Eric is round.[(triple10)] @1: Dave is rough.[(((triple8 triple9) -> rule2))] @2: Dave is kind.[(((triple8 ((triple8 triple9) -> rule2)) -> rule5))] @3: Dave is red.[(((triple8 ((triple8 ((triple8 triple9) -> rule2)) -> rule5)) -> rule6))]
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is green.
("Eric" "is" "green" "+")
triple11
Eric is round.
("Eric" "is" "round" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
((triple8 triple9) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple8 ((triple8 triple9) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple8 ((triple8 ((triple8 triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Young Alan got into a fight that left him with red sores on his face.
Bob, a green man, was also big, but underneath he was kind.
Dave happens to be nice and green even though he is big and cold.
Eric is big and round man that is looking rather green after seeing some bad mayonnaise.
A downhearted blue person who is kind is round.
Big people that are cold will show you how rough they actually are.
People with big hands and red, rough skin are terribly kind.
You know when you meet a red, blue and kind person, that means they are green.
Interestingly, cold and rough people are kind.
A cold natured but kind person will certainly be red.
A blue, rough and round person will also be a big person.