Alan is a very kind, green but sometimes cold person. Upon meeting Dave, you'll notice he's green and kind. Gary is big and round. His cheeks are rosy red and he is kind even though he is blue. Cold people,though green and red,tend to be rough. A rough and kind person is big. Round, nice and young folks around here are always green. Ifa blue and green colored person is rough then they must be big shaped. A cold natured but kind person will certainly be red.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
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 kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and nice and young then they are green.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Dave is green.
True
1
proof
[(triple5)]
("Dave" "is" "green" "+")
triple5
Gary is not blue.
False
1
inv-proof
[(triple9)]
("Gary" "is" "blue" "-")
triple9
Alan is red.
True
3
proof
[(((triple3 triple1) -> rule5))]
("Alan" "is" "red" "+")
((triple3 triple1) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple3 triple1) -> rule5))]
("Alan" "is" "red" "-")
((triple3 triple1) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
True
6
proof
[(((triple3 triple2 ((triple3 triple1) -> rule5)) -> rule1))]
("Alan" "is" "rough" "+")
((triple3 triple2 ((triple3 triple1) -> (rule5 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not rough.
False
6
inv-proof
[(((triple3 triple2 ((triple3 triple1) -> rule5)) -> rule1))]
("Alan" "is" "rough" "-")
((triple3 triple2 ((triple3 triple1) -> (rule5 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
True
8
proof
[(((triple1 ((triple3 triple2 ((triple3 triple1) -> rule5)) -> rule1)) -> rule2))]
("Alan" "is" "big" "+")
((triple1 ((triple3 triple2 ((triple3 triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not big.
False
8
inv-proof
[(((triple1 ((triple3 triple2 ((triple3 triple1) -> rule5)) -> rule1)) -> rule2))]
("Alan" "is" "big" "-")
((triple1 ((triple3 triple2 ((triple3 triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] Gary is round.[(triple6)] @1: Alan is red.[(((triple3 triple1) -> rule5))] @2: Alan is rough.[(((triple3 triple2 ((triple3 triple1) -> rule5)) -> rule1))] @3: Alan is big.[(((triple1 ((triple3 triple2 ((triple3 triple1) -> rule5)) -> rule1)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Alan is red.
("Alan" "is" "red" "+")
((triple3 triple1) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple3 triple2 ((triple3 triple1) -> (rule5 % int2))) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((triple1 ((triple3 triple2 ((triple3 triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is a very kind, green but sometimes cold person.
Upon meeting Dave, you'll notice he's green and kind.
Gary is big and round; His cheeks are rosy red and he is kind even though he is blue.
Cold people,though green and red,tend to be rough.
A rough and kind person is big.
Round, nice and young folks around here are always green.
Ifa blue and green colored person is rough then they must be big shaped.
A cold natured but kind person will certainly be red.