Young Alan is a round fellow: sometimes nice, sometimes rough. Although Dave is seen as nice and round, his days of playing football have made him quite rough. Eric always goes out of his way to show that he is kind to people. Gary is big and red, but he's young and will grow out of it. People who are nice, round and wearing blue will have red cheeks. Round, nice and young folks around here are always green. I have found that young, blue, and big individuals are also red. Someone might be red but blue from the cold dressing in green. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. A green and quite rough person will also be blue.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
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 young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Gary is not young.
False
1
inv-proof
[(triple9)]
("Gary" "is" "young" "-")
triple9
Alan is green.
True
4
proof
[(((triple2 triple4 triple1) -> rule2))]
("Alan" "is" "green" "+")
((triple2 triple4 triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
4
inv-proof
[(((triple2 triple4 triple1) -> rule2))]
("Alan" "is" "green" "-")
((triple2 triple4 triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
True
6
proof
[(((triple3 ((triple2 triple4 triple1) -> rule2)) -> rule6))]
("Alan" "is" "blue" "+")
((triple3 ((triple2 triple4 triple1) -> (rule2 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not blue.
False
6
inv-proof
[(((triple3 ((triple2 triple4 triple1) -> rule2)) -> rule6))]
("Alan" "is" "blue" "-")
((triple3 ((triple2 triple4 triple1) -> (rule2 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
True
9
proof
[(((triple4 triple2 ((triple3 ((triple2 triple4 triple1) -> rule2)) -> rule6)) -> rule1))]
("Alan" "is" "red" "+")
((triple4 triple2 ((triple3 ((triple2 triple4 triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not red.
False
9
inv-proof
[(((triple4 triple2 ((triple3 ((triple2 triple4 triple1) -> rule2)) -> rule6)) -> rule1))]
("Alan" "is" "red" "-")
((triple4 triple2 ((triple3 ((triple2 triple4 triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "blue" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "big" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is nice.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Dave is nice.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Eric is kind.[(triple8)] Gary is big.[(triple11)] Gary is red.[(triple10)] Gary is young.[(triple9)] @1: Alan is green.[(((triple2 triple4 triple1) -> rule2))] @2: Alan is blue.[(((triple3 ((triple2 triple4 triple1) -> rule2)) -> rule6))] @3: Alan is red.[(((triple4 triple2 ((triple3 ((triple2 triple4 triple1) -> rule2)) -> rule6)) -> rule1))]
Alan is nice.
("Alan" "is" "nice" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Alan is green.
("Alan" "is" "green" "+")
((triple2 triple4 triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 ((triple2 triple4 triple1) -> (rule2 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple4 triple2 ((triple3 ((triple2 triple4 triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Young Alan is a round fellow: sometimes nice, sometimes rough.
Although Dave is seen as nice and round, his days of playing football have made him quite rough.
Eric always goes out of his way to show that he is kind to people.
Gary is big and red, but he's young and will grow out of it.
People who are nice, round and wearing blue will have red cheeks.
Round, nice and young folks around here are always green.
I have found that young, blue, and big individuals are also red.
Someone might be red but blue from the cold dressing in green.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
A green and quite rough person will also be blue.