Alan who is considered nice was feeling rather rough today. As much as Dave is nice, he is also cold and often feels blue. Harry, who is a very nice man, is also quite round in shape. He found himself quite blue from being made fun of him, but that also made his face red with anger. A quite nice person who is red and green is also big. If someone is colored red but is cold, they tend to show a lot of green. A kind and cold person who is green is, surprisingly, also blue. Big, round, red people are always so young. A very nice and kind person will also be round shaped. Someone who's blue, nice and round will also be someone who's green. Generally, round and kind people are big.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Harry is red.
True
1
proof
[(triple7)]
("Harry" "is" "red" "+")
triple7
Alan is not nice.
False
1
inv-proof
[(triple2)]
("Alan" "is" "nice" "-")
triple2
Harry is green.
True
4
proof
[(((triple9 triple8 triple6) -> rule6))]
("Harry" "is" "green" "+")
((triple9 triple8 triple6) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
4
inv-proof
[(((triple9 triple8 triple6) -> rule6))]
("Harry" "is" "green" "-")
((triple9 triple8 triple6) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
True
7
proof
[(((triple7 ((triple9 triple8 triple6) -> rule6) triple8) -> rule1))]
("Harry" "is" "big" "+")
((triple7 ((triple9 triple8 triple6) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not big.
False
7
inv-proof
[(((triple7 ((triple9 triple8 triple6) -> rule6) triple8) -> rule1))]
("Harry" "is" "big" "-")
((triple7 ((triple9 triple8 triple6) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
True
10
proof
[(((((triple7 ((triple9 triple8 triple6) -> rule6) triple8) -> rule1) triple6 triple7) -> rule4))]
("Harry" "is" "young" "+")
((((triple7 ((triple9 triple8 triple6) -> (rule6 % int3)) triple8) -> (rule1 % int2)) triple6 triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not young.
False
10
inv-proof
[(((((triple7 ((triple9 triple8 triple6) -> rule6) triple8) -> rule1) triple6 triple7) -> rule4))]
("Harry" "is" "young" "-")
((((triple7 ((triple9 triple8 triple6) -> (rule6 % int3)) triple8) -> (rule1 % int2)) triple6 triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Dave is not green.
Unknown
inv-rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Dave is nice.[(triple3)] Harry is blue.[(triple9)] Harry is nice.[(triple8)] Harry is red.[(triple7)] Harry is round.[(triple6)] @1: Harry is green.[(((triple9 triple8 triple6) -> rule6))] @2: Harry is big.[(((triple7 ((triple9 triple8 triple6) -> rule6) triple8) -> rule1))] @3: Harry is young.[(((((triple7 ((triple9 triple8 triple6) -> rule6) triple8) -> rule1) triple6 triple7) -> rule4))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
((triple9 triple8 triple6) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple7 ((triple9 triple8 triple6) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple7 ((triple9 triple8 triple6) -> (rule6 % int3)) triple8) -> (rule1 % int2)) triple6 triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan who is considered nice was feeling rather rough today.
As much as Dave is nice, he is also cold and often feels blue.
Harry, who is a very nice man, is also quite round in shape; He found himself quite blue from being made fun of him, but that also made his face red with anger.
A quite nice person who is red and green is also big.
If someone is colored red but is cold, they tend to show a lot of green.
A kind and cold person who is green is, surprisingly, also blue.
Big, round, red people are always so young.
A very nice and kind person will also be round shaped.
Someone who's blue, nice and round will also be someone who's green.
Generally, round and kind people are big.