Alan was born only a few years ago so he is young. Dave tends to be nice, but is young. Dave has rough blue skin. Red Fred is what folks call him, because he is quite red. That guy Gary is big, but he's always kind to little ones. Cold people,though green and red,tend to be rough. Young and rough green people, have no choice but to be red. In every case of people being kind and blue and green, we find they are concurrently nice. I know anyone I meet who is big, nice, and round will be young. When someone is nice, dressing in red, they can be blue because they are cold. Young cold individuals are usualyy rough. People who are considered rough, blue, and nice, are also green.
Alan is young.
("Alan" "is" "young" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Dave is not rough.
False
1
inv-proof
[(triple3)]
("Dave" "is" "rough" "-")
triple3
Dave is green.
True
4
proof
[(((triple3 triple5 triple4) -> rule7))]
("Dave" "is" "green" "+")
((triple3 triple5 triple4) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
4
inv-proof
[(((triple3 triple5 triple4) -> rule7))]
("Dave" "is" "green" "-")
((triple3 triple5 triple4) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
True
7
proof
[(((triple2 triple3 ((triple3 triple5 triple4) -> rule7)) -> rule2))]
("Dave" "is" "red" "+")
((triple2 triple3 ((triple3 triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not red.
False
7
inv-proof
[(((triple2 triple3 ((triple3 triple5 triple4) -> rule7)) -> rule2))]
("Dave" "is" "red" "-")
((triple2 triple3 ((triple3 triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
True
10
proof
[(((triple4 triple5 ((triple2 triple3 ((triple3 triple5 triple4) -> rule7)) -> rule2)) -> rule5))]
("Dave" "is" "cold" "+")
((triple4 triple5 ((triple2 triple3 ((triple3 triple5 triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not cold.
False
10
inv-proof
[(((triple4 triple5 ((triple2 triple3 ((triple3 triple5 triple4) -> rule7)) -> rule2)) -> rule5))]
("Dave" "is" "cold" "-")
((triple4 triple5 ((triple2 triple3 ((triple3 triple5 triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Gary" "is" "rough" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "cold" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is young.[(triple1)] Dave is blue.[(triple5)] Dave is nice.[(triple4)] Dave is rough.[(triple3)] Dave is young.[(triple2)] Fred is red.[(triple6)] Gary is big.[(triple8)] Gary is kind.[(triple7)] @1: Dave is green.[(((triple3 triple5 triple4) -> rule7))] @2: Dave is red.[(((triple2 triple3 ((triple3 triple5 triple4) -> rule7)) -> rule2))] @3: Dave is cold.[(((triple4 triple5 ((triple2 triple3 ((triple3 triple5 triple4) -> rule7)) -> rule2)) -> rule5))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
((triple3 triple5 triple4) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple2 triple3 ((triple3 triple5 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 triple5 ((triple2 triple3 ((triple3 triple5 triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Alan was born only a few years ago so he is young.
Dave tends to be nice, but is young; Dave has rough blue skin.
Red Fred is what folks call him, because he is quite red.
That guy Gary is big, but he's always kind to little ones.
Cold people,though green and red,tend to be rough.
Young and rough green people, have no choice but to be red.
In every case of people being kind and blue and green, we find they are concurrently nice.
I know anyone I meet who is big, nice, and round will be young.
When someone is nice, dressing in red, they can be blue because they are cold.
Young cold individuals are usualyy rough.
People who are considered rough, blue, and nice, are also green.