Dave is a nice person who is red because he has a rash. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Gary. Cold people with rough, green skin are young. I've noticed that someone who is big and acts cold towards others is green as well. Get out of the way if a red and green person walks up to you because they are rough. Red and kind people always seem to be big as well. A green colored and rough person will be quite kind. Blue, red and nice people are always big, too.
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is cold and rough and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Gary is rough.
True
1
proof
[(triple4 OR ((triple5 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule3))]
("Gary" "is" "rough" "+")
triple4
((triple5 ((triple7 ((triple5 triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Dave is not red.
False
1
inv-proof
[(triple1)]
("Dave" "is" "red" "-")
triple1
Gary is big.
True
3
proof
[(((triple5 triple6) -> rule4))]
("Gary" "is" "big" "+")
((triple5 triple6) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple5 triple6) -> rule4))]
("Gary" "is" "big" "-")
((triple5 triple6) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
True
5
proof
[(((triple7 ((triple5 triple6) -> rule4)) -> rule2))]
("Gary" "is" "green" "+")
((triple7 ((triple5 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not green.
False
5
inv-proof
[(((triple7 ((triple5 triple6) -> rule4)) -> rule2))]
("Gary" "is" "green" "-")
((triple7 ((triple5 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
True
8
proof
[(((triple7 triple4 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((triple5 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule3) ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule1))]
("Gary" "is" "young" "+")
((triple7 triple4 ((triple7 ((triple5 triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple7 ((triple5 ((triple7 ((triple5 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7 ((triple5 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not young.
False
8
inv-proof
[(((triple7 triple4 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((triple5 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule3) ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule1))]
("Gary" "is" "young" "-")
((triple7 triple4 ((triple7 ((triple5 triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple7 ((triple5 ((triple7 ((triple5 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7 ((triple5 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Alan is not kind.
Unknown
inv-rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Alan" "is" "kind" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "big" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Dave is nice.[(triple2)] Dave is red.[(triple1)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is kind.[(triple6)] Gary is red.[(triple5)] Gary is rough.[(triple4 OR ((triple5 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule3))] Gary is round.[(triple3)] @1: Gary is big.[(((triple5 triple6) -> rule4))] @2: Gary is green.[(((triple7 ((triple5 triple6) -> rule4)) -> rule2))] @3: Gary is young.[(((triple7 triple4 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((triple5 ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule3) ((triple7 ((triple5 triple6) -> rule4)) -> rule2)) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
((triple5 ((triple7 ((triple5 triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
((triple5 triple6) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple7 ((triple5 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple7 triple4 ((triple7 ((triple5 triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple7 ((triple5 ((triple7 ((triple5 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7 ((triple5 triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Dave is a nice person who is red because he has a rash.
That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Gary.
Cold people with rough, green skin are young.
I've noticed that someone who is big and acts cold towards others is green as well.
Get out of the way if a red and green person walks up to you because they are rough.
Red and kind people always seem to be big as well.
A green colored and rough person will be quite kind.
Blue, red and nice people are always big, too.