Alan is both young and fairly round in size. Big Eric, the most blue guy I know while also being cold. Gary is rough and green, but he's also nice, kind and round. Harry is known to be rough and green. A blue person who is feeling a bit rough and cold will be wearing red. A nice person who is green is feeling cold. Young and rough people tend to be green too. Rough people are often round. If a kind person is also young and round shaped, they will be colored blue. Someone who is nice, green, and cold, is always going to be young.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is blue and cold and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Eric is cold.
True
1
proof
[(triple3)]
("Eric" "is" "cold" "+")
triple3
Eric is not blue.
False
1
inv-proof
[(triple4)]
("Eric" "is" "blue" "-")
triple4
Harry is round.
True
2
proof
[(((triple11) -> rule4))]
("Harry" "is" "round" "+")
((triple11) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple10 triple8) -> rule2))]
("Gary" "is" "cold" "-")
((triple10 triple8) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
True
6
proof
[(((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6))]
("Gary" "is" "young" "+")
((triple8 triple10 ((triple10 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not young.
False
6
inv-proof
[(((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6))]
("Gary" "is" "young" "-")
((triple8 triple10 ((triple10 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
True
9
proof
[(((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) triple6) -> rule5) OR ((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) ((triple7) -> rule4)) -> rule5))]
("Gary" "is" "blue" "+")
((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not blue.
False
9
inv-proof
[(((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) triple6) -> rule5) OR ((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) ((triple7) -> rule4)) -> rule5))]
("Gary" "is" "blue" "-")
((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is red.
True
14
proof
[(((((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) triple6) -> rule5) ((triple10 triple8) -> rule2) triple7) -> rule1) OR ((((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) ((triple7) -> rule4)) -> rule5) ((triple10 triple8) -> rule2) triple7) -> rule1))]
("Gary" "is" "red" "+")
((((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2)) ((triple10 triple8) -> (rule2 % int4)) triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int5))) -> (rule6 % int4)) ((triple7) -> (rule4 % int3))) -> (rule5 % int2)) ((triple10 triple8) -> (rule2 % int5)) triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is not red.
False
14
inv-proof
[(((((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) triple6) -> rule5) ((triple10 triple8) -> rule2) triple7) -> rule1) OR ((((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) ((triple7) -> rule4)) -> rule5) ((triple10 triple8) -> rule2) triple7) -> rule1))]
("Gary" "is" "red" "-")
((((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2)) ((triple10 triple8) -> (rule2 % int4)) triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int5))) -> (rule6 % int4)) ((triple7) -> (rule4 % int3))) -> (rule5 % int2)) ((triple10 triple8) -> (rule2 % int5)) triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "green" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is big.[(triple5)] Eric is blue.[(triple4)] Eric is cold.[(triple3)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6 OR ((triple7) -> rule4))] Harry is green.[(triple12)] Harry is rough.[(triple11)] @1: Gary is cold.[(((triple10 triple8) -> rule2))] Harry is round.[(((triple11) -> rule4))] @2: Gary is young.[(((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6))] @3: Gary is blue.[(((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) triple6) -> rule5) OR ((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) ((triple7) -> rule4)) -> rule5))] @4: Gary is red.[(((((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) triple6) -> rule5) ((triple10 triple8) -> rule2) triple7) -> rule1) OR ((((triple9 ((triple8 triple10 ((triple10 triple8) -> rule2)) -> rule6) ((triple7) -> rule4)) -> rule5) ((triple10 triple8) -> rule2) triple7) -> rule1))]
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
((triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
((triple10 triple8) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple11) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple8 triple10 ((triple10 triple8) -> (rule2 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int4))) -> (rule6 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule5 % int2)) ((triple10 triple8) -> (rule2 % int4)) triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple9 ((triple8 triple10 ((triple10 triple8) -> (rule2 % int5))) -> (rule6 % int4)) ((triple7) -> (rule4 % int3))) -> (rule5 % int2)) ((triple10 triple8) -> (rule2 % int5)) triple7) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Alan is both young and fairly round in size.
Big Eric, the most blue guy I know while also being cold.
Gary is rough and green, but he's also nice, kind and round.
Harry is known to be rough and green.
A blue person who is feeling a bit rough and cold will be wearing red.
A nice person who is green is feeling cold.
Young and rough people tend to be green too.
Rough people are often round.
If a kind person is also young and round shaped, they will be colored blue.
Someone who is nice, green, and cold, is always going to be young.