Dave associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Gary was looking rather round and feeling rather cold, but people thought he is kind. Kind, young, green persons are sure to be rough persons, too. A kind and green person who is rough around the edges is cold. Anyone perceived to be rough, cold and kind will also be nice. Being kind and young means that if they are also blue, they are always red. If a person is red, kind, and nice then they must be round. People that are big but also green, may ultimately be very nice.
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Gary is not cold.
False
1
inv-proof
[(triple7)]
("Gary" "is" "cold" "-")
triple7
Dave is rough.
True
4
proof
[(((triple2 triple1 triple3) -> rule1))]
("Dave" "is" "rough" "+")
((triple2 triple1 triple3) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not red.
False
4
inv-proof
[(((triple4 triple2 triple1) -> rule4))]
("Dave" "is" "red" "-")
((triple4 triple2 triple1) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
True
7
proof
[(((triple3 ((triple2 triple1 triple3) -> rule1) triple2) -> rule2))]
("Dave" "is" "cold" "+")
((triple3 ((triple2 triple1 triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not cold.
False
7
inv-proof
[(((triple3 ((triple2 triple1 triple3) -> rule1) triple2) -> rule2))]
("Dave" "is" "cold" "-")
((triple3 ((triple2 triple1 triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
True
13
proof
[(((((triple2 triple1 triple3) -> rule1) ((triple3 ((triple2 triple1 triple3) -> rule1) triple2) -> rule2) triple2) -> rule3))]
("Dave" "is" "nice" "+")
((((triple2 triple1 triple3) -> (rule1 % int3)) ((triple3 ((triple2 triple1 triple3) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not nice.
False
13
inv-proof
[(((((triple2 triple1 triple3) -> rule1) ((triple3 ((triple2 triple1 triple3) -> rule1) triple2) -> rule2) triple2) -> rule3))]
("Dave" "is" "nice" "-")
((((triple2 triple1 triple3) -> (rule1 % int3)) ((triple3 ((triple2 triple1 triple3) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
True
19
proof
[(((((((triple2 triple1 triple3) -> rule1) ((triple3 ((triple2 triple1 triple3) -> rule1) triple2) -> rule2) triple2) -> rule3) ((triple4 triple2 triple1) -> rule4) triple2) -> rule5))]
("Dave" "is" "round" "+")
((((((triple2 triple1 triple3) -> (rule1 % int5)) ((triple3 ((triple2 triple1 triple3) -> (rule1 % int5)) triple2) -> (rule2 % int4)) triple2) -> (rule3 % int3)) ((triple4 triple2 triple1) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is not round.
False
19
inv-proof
[(((((((triple2 triple1 triple3) -> rule1) ((triple3 ((triple2 triple1 triple3) -> rule1) triple2) -> rule2) triple2) -> rule3) ((triple4 triple2 triple1) -> rule4) triple2) -> rule5))]
("Dave" "is" "round" "-")
((((((triple2 triple1 triple3) -> (rule1 % int5)) ((triple3 ((triple2 triple1 triple3) -> (rule1 % int5)) triple2) -> (rule2 % int4)) triple2) -> (rule3 % int3)) ((triple4 triple2 triple1) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Dave is blue.[(triple4)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Dave is young.[(triple1)] Gary is cold.[(triple7)] Gary is kind.[(triple6)] Gary is round.[(triple5)] @1: Dave is red.[(((triple4 triple2 triple1) -> rule4))] Dave is rough.[(((triple2 triple1 triple3) -> rule1))] @2: Dave is cold.[(((triple3 ((triple2 triple1 triple3) -> rule1) triple2) -> rule2))] @3: Dave is nice.[(((((triple2 triple1 triple3) -> rule1) ((triple3 ((triple2 triple1 triple3) -> rule1) triple2) -> rule2) triple2) -> rule3))] @4: Dave is round.[(((((((triple2 triple1 triple3) -> rule1) ((triple3 ((triple2 triple1 triple3) -> rule1) triple2) -> rule2) triple2) -> rule3) ((triple4 triple2 triple1) -> rule4) triple2) -> rule5))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
((triple4 triple2 triple1) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple2 triple1 triple3) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple3 ((triple2 triple1 triple3) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple2 triple1 triple3) -> (rule1 % int3)) ((triple3 ((triple2 triple1 triple3) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((((triple2 triple1 triple3) -> (rule1 % int5)) ((triple3 ((triple2 triple1 triple3) -> (rule1 % int5)) triple2) -> (rule2 % int4)) triple2) -> (rule3 % int3)) ((triple4 triple2 triple1) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
Gary was looking rather round and feeling rather cold, but people thought he is kind.
Kind, young, green persons are sure to be rough persons, too.
A kind and green person who is rough around the edges is cold.
Anyone perceived to be rough, cold and kind will also be nice.
Being kind and young means that if they are also blue, they are always red.
If a person is red, kind, and nice then they must be round.
People that are big but also green, may ultimately be very nice.