Alan is a nice and red, but very kind person as soon as you meet him. Bob is red from working out in the sun all day. he is green with envy that others get to work inside all day and this makes him feel blue. But Bob is big and young so he can handle it. Eric was born only a few years ago so he is young. Gary ate some rotten meat and now feels green. It seems to be that a person who is green, red, and blue will be very big. Nice and kind people tend to live green lifestyle and arent very rough. Someone can be very nice and kind, and this means they are also green. Round green people usually feel blue. A kind person who is green is usually round. If someone is red and green and feeels rough, they are kind.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple7)]
("Bob" "is" "blue" "-")
triple7
Alan is green.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "green" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "green" "-")
((triple2 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
True
6
proof
[(((triple2 triple3 ((triple2 triple3) -> rule3)) -> rule2))]
("Alan" "is" "rough" "+")
((triple2 triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not round.
False
5
inv-proof
[(((triple3 ((triple2 triple3) -> rule3)) -> rule5))]
("Alan" "is" "round" "-")
((triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
True
9
proof
[(((((triple3 ((triple2 triple3) -> rule3)) -> rule5) ((triple2 triple3) -> rule3)) -> rule4))]
("Alan" "is" "blue" "+")
((((triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) ((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not blue.
False
9
inv-proof
[(((((triple3 ((triple2 triple3) -> rule3)) -> rule5) ((triple2 triple3) -> rule3)) -> rule4))]
("Alan" "is" "blue" "-")
((((triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) ((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is big.
True
14
proof
[(((triple1 ((((triple3 ((triple2 triple3) -> rule3)) -> rule5) ((triple2 triple3) -> rule3)) -> rule4) ((triple2 triple3) -> rule3)) -> rule1))]
("Alan" "is" "big" "+")
((triple1 ((((triple3 ((triple2 triple3) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule3 % int4))) -> (rule4 % int2)) ((triple2 triple3) -> (rule3 % int4))) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is not big.
False
14
inv-proof
[(((triple1 ((((triple3 ((triple2 triple3) -> rule3)) -> rule5) ((triple2 triple3) -> rule3)) -> rule4) ((triple2 triple3) -> rule3)) -> rule1))]
("Alan" "is" "big" "-")
((triple1 ((((triple3 ((triple2 triple3) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule3 % int4))) -> (rule4 % int2)) ((triple2 triple3) -> (rule3 % int4))) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Gary is not blue.
Unknown
inv-rconc
[@3: Gary is blue.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule6 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is round.
Unknown
rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Eric is round.
Unknown
rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not blue.
Unknown
inv-rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Bob is big.[(triple8 OR ((triple5 triple7 triple6) -> rule1))] Bob is blue.[(triple7)] Bob is green.[(triple6)] Bob is red.[(triple5)] Bob is young.[(triple4)] Eric is young.[(triple9)] Gary is green.[(triple10)] @1: Alan is green.[(((triple2 triple3) -> rule3))] @2: Alan is rough.[(((triple2 triple3 ((triple2 triple3) -> rule3)) -> rule2))] Alan is round.[(((triple3 ((triple2 triple3) -> rule3)) -> rule5))] @3: Alan is blue.[(((((triple3 ((triple2 triple3) -> rule3)) -> rule5) ((triple2 triple3) -> rule3)) -> rule4))] @4: Alan is big.[(((triple1 ((((triple3 ((triple2 triple3) -> rule3)) -> rule5) ((triple2 triple3) -> rule3)) -> rule4) ((triple2 triple3) -> rule3)) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple8
((triple5 triple7 triple6) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Alan is green.
("Alan" "is" "green" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((((triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) ((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
((triple1 ((((triple3 ((triple2 triple3) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule3 % int4))) -> (rule4 % int2)) ((triple2 triple3) -> (rule3 % int4))) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is a nice and red, but very kind person as soon as you meet him.
Bob is red from working out in the sun all day; he is green with envy that others get to work inside all day and this makes him feel blue; But Bob is big and young so he can handle it.
Eric was born only a few years ago so he is young.
Gary ate some rotten meat and now feels green.
It seems to be that a person who is green, red, and blue will be very big.
Nice and kind people tend to live green lifestyle and arent very rough.
Someone can be very nice and kind, and this means they are also green.
Round green people usually feel blue.
A kind person who is green is usually round.
If someone is red and green and feeels rough, they are kind.