Alan who is considered nice was feeling rather rough today. For someone so young, big and red, Dave is surprisingly nice, although sometimes cold. Eric, like all young people, is nice. Green, nice people who have round shapes are going to be kind to you. Any green person is a round person. A nice and colored blue person will be rather big. I've noticed that someone who is big and acts cold towards others is green as well. If you meet a young and kind person who is also rough, they are cold, too.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Alan is nice.
True
1
proof
[(triple2)]
("Alan" "is" "nice" "+")
triple2
Dave is not cold.
False
1
inv-proof
[(triple6)]
("Dave" "is" "cold" "-")
triple6
Dave is green.
True
3
proof
[(((triple6 triple7) -> rule4))]
("Dave" "is" "green" "+")
((triple6 triple7) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple6 triple7) -> rule4))]
("Dave" "is" "green" "-")
((triple6 triple7) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
True
4
proof
[(((((triple6 triple7) -> rule4)) -> rule2))]
("Dave" "is" "round" "+")
((((triple6 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not round.
False
4
inv-proof
[(((((triple6 triple7) -> rule4)) -> rule2))]
("Dave" "is" "round" "-")
((((triple6 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
True
9
proof
[(((((triple6 triple7) -> rule4) ((((triple6 triple7) -> rule4)) -> rule2) triple5) -> rule1))]
("Dave" "is" "kind" "+")
((((triple6 triple7) -> (rule4 % int3)) ((((triple6 triple7) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not kind.
False
9
inv-proof
[(((((triple6 triple7) -> rule4) ((((triple6 triple7) -> rule4)) -> rule2) triple5) -> rule1))]
("Dave" "is" "kind" "-")
((((triple6 triple7) -> (rule4 % int3)) ((((triple6 triple7) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@3: Alan is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule5 <- FAIL)]]
("Alan" "is" "kind" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "cold" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "big" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Dave is big.[(triple7)] Dave is cold.[(triple6)] Dave is nice.[(triple5)] Dave is red.[(triple4)] Dave is young.[(triple3)] Eric is nice.[(triple9)] Eric is young.[(triple8)] @1: Dave is green.[(((triple6 triple7) -> rule4))] @2: Dave is round.[(((((triple6 triple7) -> rule4)) -> rule2))] @3: Dave is kind.[(((((triple6 triple7) -> rule4) ((((triple6 triple7) -> rule4)) -> rule2) triple5) -> rule1))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
((triple6 triple7) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple6 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple6 triple7) -> (rule4 % int3)) ((((triple6 triple7) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Alan who is considered nice was feeling rather rough today.
For someone so young, big and red, Dave is surprisingly nice, although sometimes cold.
Eric, like all young people, is nice.
Green, nice people who have round shapes are going to be kind to you.
Any green person is a round person.
A nice and colored blue person will be rather big.
I've noticed that someone who is big and acts cold towards others is green as well.
If you meet a young and kind person who is also rough, they are cold, too.