Alan who is big in stature is almost always nice even when he is cold. Rough Dave can be nice and kind looking green. Gary is rough, but often feels blue. He is pretty young. A round person who is nice is young. Surprisingly, all the kind, green people were also big. A nice, big person that is red is usually young. Any human being with green, big, kind eyes, also has round eyes. It's true that green and blue people are also red people.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Gary is young.
True
1
proof
[(triple8)]
("Gary" "is" "young" "+")
triple8
Gary is not young.
False
1
inv-proof
[(triple8)]
("Gary" "is" "young" "-")
triple8
Dave is big.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Dave" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Dave" "is" "big" "-")
((triple6 triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
True
6
proof
[(((triple7 ((triple6 triple7) -> rule2) triple6) -> rule4))]
("Dave" "is" "round" "+")
((triple7 ((triple6 triple7) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not round.
False
6
inv-proof
[(((triple7 ((triple6 triple7) -> rule2) triple6) -> rule4))]
("Dave" "is" "round" "-")
((triple7 ((triple6 triple7) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
True
8
proof
[(((triple5 ((triple7 ((triple6 triple7) -> rule2) triple6) -> rule4)) -> rule1))]
("Dave" "is" "young" "+")
((triple5 ((triple7 ((triple6 triple7) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not young.
False
8
inv-proof
[(((triple5 ((triple7 ((triple6 triple7) -> rule2) triple6) -> rule4)) -> rule1))]
("Dave" "is" "young" "-")
((triple5 ((triple7 ((triple6 triple7) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "red" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Dave is green.[(triple7)] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is rough.[(triple4)] Gary is blue.[(triple10)] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Dave is big.[(((triple6 triple7) -> rule2))] @2: Dave is round.[(((triple7 ((triple6 triple7) -> rule2) triple6) -> rule4))] @3: Dave is young.[(((triple5 ((triple7 ((triple6 triple7) -> rule2) triple6) -> rule4)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7 ((triple6 triple7) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple5 ((triple7 ((triple6 triple7) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Alan who is big in stature is almost always nice even when he is cold.
Rough Dave can be nice and kind looking green.
Gary is rough, but often feels blue; He is pretty young.
A round person who is nice is young.
Surprisingly, all the kind, green people were also big.
A nice, big person that is red is usually young.
Any human being with green, big, kind eyes, also has round eyes.
It's true that green and blue people are also red people.