To the touch Alan has rough, cold skin. Dave is a blue but young, round man but is also cold and big. Gary ate some rotten meat and now feels green. Harry wears all blue. Nice, green people that are somewhat round are big through the shoulders. Kind, rough people who are nice are also cold. I have found that young, blue, and big individuals are also red. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Kind people who are also rough are young. Nice people who are big in stature often look rough.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Dave is young.
True
1
proof
[(triple3)]
("Dave" "is" "young" "+")
triple3
Dave is not big.
False
1
inv-proof
[(triple7)]
("Dave" "is" "big" "-")
triple7
Dave is red.
True
4
proof
[(((triple3 triple6 triple7) -> rule3))]
("Dave" "is" "red" "+")
((triple3 triple6 triple7) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
4
inv-proof
[(((triple3 triple6 triple7) -> rule3))]
("Dave" "is" "red" "-")
((triple3 triple6 triple7) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
True
7
proof
[(((triple7 triple4 ((triple3 triple6 triple7) -> rule3)) -> rule4))]
("Dave" "is" "nice" "+")
((triple7 triple4 ((triple3 triple6 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not nice.
False
7
inv-proof
[(((triple7 triple4 ((triple3 triple6 triple7) -> rule3)) -> rule4))]
("Dave" "is" "nice" "-")
((triple7 triple4 ((triple3 triple6 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
True
9
proof
[(((((triple7 triple4 ((triple3 triple6 triple7) -> rule3)) -> rule4) triple7) -> rule6))]
("Dave" "is" "rough" "+")
((((triple7 triple4 ((triple3 triple6 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not rough.
False
9
inv-proof
[(((((triple7 triple4 ((triple3 triple6 triple7) -> rule3)) -> rule4) triple7) -> rule6))]
("Dave" "is" "rough" "-")
((((triple7 triple4 ((triple3 triple6 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "+")
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Alan is cold.[(triple2)] Alan is rough.[(triple1)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is cold.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Gary is green.[(triple8)] Harry is blue.[(triple9)] @1: Dave is red.[(((triple3 triple6 triple7) -> rule3))] @2: Dave is nice.[(((triple7 triple4 ((triple3 triple6 triple7) -> rule3)) -> rule4))] @3: Dave is rough.[(((((triple7 triple4 ((triple3 triple6 triple7) -> rule3)) -> rule4) triple7) -> rule6))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
((triple3 triple6 triple7) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple7 triple4 ((triple3 triple6 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple7 triple4 ((triple3 triple6 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
To the touch Alan has rough, cold skin.
Dave is a blue but young, round man but is also cold and big.
Gary ate some rotten meat and now feels green.
Harry wears all blue.
Nice, green people that are somewhat round are big through the shoulders.
Kind, rough people who are nice are also cold.
I have found that young, blue, and big individuals are also red.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Kind people who are also rough are young.
Nice people who are big in stature often look rough.