Alan is big and dresses in blue. Big, red Eric is quite kind. Big, round Gary is cold and very green. Harry wears all blue. Any cold, round, green person is going to be young at the same time. It's said that any person with blue skin, round bones, and big feet is kind. A blue person who is young and rough is also red. Round, young folks tend to feel blue. Red and round people will be cold even in the summer. Young people are rough.
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Gary is green.
True
1
proof
[(triple7)]
("Gary" "is" "green" "+")
triple7
Harry is not blue.
False
1
inv-proof
[(triple10)]
("Harry" "is" "blue" "-")
triple10
Gary is young.
True
4
proof
[(((triple8 triple6 triple7) -> rule1))]
("Gary" "is" "young" "+")
((triple8 triple6 triple7) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
4
inv-proof
[(((triple8 triple6 triple7) -> rule1))]
("Gary" "is" "young" "-")
((triple8 triple6 triple7) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
True
5
proof
[(((((triple8 triple6 triple7) -> rule1)) -> rule6))]
("Gary" "is" "rough" "+")
((((triple8 triple6 triple7) -> (rule1 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((((triple8 triple6 triple7) -> rule1)) -> rule6))]
("Gary" "is" "rough" "-")
((((triple8 triple6 triple7) -> (rule1 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
True
9
proof
[(((((triple6 ((triple8 triple6 triple7) -> rule1)) -> rule4) triple6 triple9) -> rule2))]
("Gary" "is" "kind" "+")
((((triple6 ((triple8 triple6 triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple6 triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not red.
False
16
inv-proof
[(((((triple6 ((triple8 triple6 triple7) -> rule1)) -> rule4) ((triple8 triple6 triple7) -> rule1) ((((triple8 triple6 triple7) -> rule1)) -> rule6)) -> rule3))]
("Gary" "is" "red" "-")
((((triple6 ((triple8 triple6 triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8 triple6 triple7) -> (rule1 % int4)) ((((triple8 triple6 triple7) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Alan is not rough.
Unknown
inv-rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Alan" "is" "rough" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "+")
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Alan is big.[(triple2)] Alan is blue.[(triple1)] Eric is big.[(triple5)] Eric is kind.[(triple4)] Eric is red.[(triple3)] Gary is big.[(triple9)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is round.[(triple6)] Harry is blue.[(triple10)] @1: Gary is young.[(((triple8 triple6 triple7) -> rule1))] @2: Gary is blue.[(((triple6 ((triple8 triple6 triple7) -> rule1)) -> rule4))] Gary is rough.[(((((triple8 triple6 triple7) -> rule1)) -> rule6))] @3: Gary is kind.[(((((triple6 ((triple8 triple6 triple7) -> rule1)) -> rule4) triple6 triple9) -> rule2))] Gary is red.[(((((triple6 ((triple8 triple6 triple7) -> rule1)) -> rule4) ((triple8 triple6 triple7) -> rule1) ((((triple8 triple6 triple7) -> rule1)) -> rule6)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
((triple8 triple6 triple7) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple6 ((triple8 triple6 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple8 triple6 triple7) -> (rule1 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple6 ((triple8 triple6 triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple6 triple9) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
((((triple6 ((triple8 triple6 triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8 triple6 triple7) -> (rule1 % int4)) ((((triple8 triple6 triple7) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Alan is big and dresses in blue.
Big, red Eric is quite kind.
Big, round Gary is cold and very green.
Harry wears all blue.
Any cold, round, green person is going to be young at the same time.
It's said that any person with blue skin, round bones, and big feet is kind.
A blue person who is young and rough is also red.
Round, young folks tend to feel blue.
Red and round people will be cold even in the summer.
Young people are rough.