Alan is a cold young man. He is prone the being blue with sadness because he is green with envy. Dave is a round fellow, but he is kind, even when he is so cold he turns blue. Big, red Eric is quite kind. A very kind and green colored person, who is also cold, will be nice. Color anybody red and blue, then make them rough, and they will surely be round. Round people are often red before they turn green. Kind people who are blue with sadness and cold toward others are surprisingly red. A person who is young and cold and green is kind.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is green and young and cold then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Alan is cold.
True
1
proof
[(triple3)]
("Alan" "is" "cold" "+")
triple3
Dave is not round.
False
1
inv-proof
[(triple5)]
("Dave" "is" "round" "-")
triple5
Dave is red.
True
4
proof
[(((triple7 triple6 triple8) -> rule4))]
("Dave" "is" "red" "+")
((triple7 triple6 triple8) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Alan is not kind.
False
4
inv-proof
[(((triple2 triple1 triple3) -> rule5))]
("Alan" "is" "kind" "-")
((triple2 triple1 triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
True
7
proof
[(((triple3 ((triple2 triple1 triple3) -> rule5) triple4) -> rule4))]
("Alan" "is" "red" "+")
((triple3 ((triple2 triple1 triple3) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not red.
False
7
inv-proof
[(((triple3 ((triple2 triple1 triple3) -> rule5) triple4) -> rule4))]
("Alan" "is" "red" "-")
((triple3 ((triple2 triple1 triple3) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Dave is nice.
True
9
proof
[(((triple6 ((triple5 ((triple7 triple6 triple8) -> rule4)) -> rule3) triple7) -> rule1))]
("Dave" "is" "nice" "+")
((triple6 ((triple5 ((triple7 triple6 triple8) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not nice.
False
9
inv-proof
[(((triple6 ((triple5 ((triple7 triple6 triple8) -> rule4)) -> rule3) triple7) -> rule1))]
("Dave" "is" "nice" "-")
((triple6 ((triple5 ((triple7 triple6 triple8) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is round.[(triple5)] Eric is big.[(triple11)] Eric is kind.[(triple10)] Eric is red.[(triple9)] @1: Alan is kind.[(((triple2 triple1 triple3) -> rule5))] Dave is red.[(((triple7 triple6 triple8) -> rule4))] @2: Alan is nice.[(((((triple2 triple1 triple3) -> rule5) triple2 triple3) -> rule1))] Alan is red.[(((triple3 ((triple2 triple1 triple3) -> rule5) triple4) -> rule4))] Dave is green.[(((triple5 ((triple7 triple6 triple8) -> rule4)) -> rule3))] @3: Dave is nice.[(((triple6 ((triple5 ((triple7 triple6 triple8) -> rule4)) -> rule3) triple7) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple1 triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7 triple6 triple8) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 triple1 triple3) -> (rule5 % int2)) triple2 triple3) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple3 ((triple2 triple1 triple3) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple5 ((triple7 triple6 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 ((triple5 ((triple7 triple6 triple8) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Alan is a cold young man; He is prone the being blue with sadness because he is green with envy.
Dave is a round fellow, but he is kind, even when he is so cold he turns blue.
Big, red Eric is quite kind.
A very kind and green colored person, who is also cold, will be nice.
Color anybody red and blue, then make them rough, and they will surely be round.
Round people are often red before they turn green.
Kind people who are blue with sadness and cold toward others are surprisingly red.
A person who is young and cold and green is kind.