Having a round body that is very big makes Alan a kind hearted person that often feels green. In the snow sits Dave, crying from being cold. Eric wears all blue. Gary is rough and green, but he's also nice, kind and round. A blue person who is feeling a bit rough and cold will be wearing red. Anyone that is a red, nice soul will be big, too. Kind, rough people who are nice are also cold. Someone who tends to be icy cold and rough but secretly nice are generally very blue. When someone is big, young and rough, they can be cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
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" "+")
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 red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Gary is nice.
True
1
proof
[(triple9)]
("Gary" "is" "nice" "+")
triple9
Gary is not rough.
False
1
inv-proof
[(triple8)]
("Gary" "is" "rough" "-")
triple8
Gary is cold.
True
4
proof
[(((triple10 triple8 triple9) -> rule3))]
("Gary" "is" "cold" "+")
((triple10 triple8 triple9) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
4
inv-proof
[(((triple10 triple8 triple9) -> rule3))]
("Gary" "is" "cold" "-")
((triple10 triple8 triple9) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
True
7
proof
[(((((triple10 triple8 triple9) -> rule3) triple8 triple9) -> rule4))]
("Gary" "is" "blue" "+")
((((triple10 triple8 triple9) -> (rule3 % int2)) triple8 triple9) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not blue.
False
7
inv-proof
[(((((triple10 triple8 triple9) -> rule3) triple8 triple9) -> rule4))]
("Gary" "is" "blue" "-")
((((triple10 triple8 triple9) -> (rule3 % int2)) triple8 triple9) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
True
13
proof
[(((((((triple10 triple8 triple9) -> rule3) triple8 triple9) -> rule4) ((triple10 triple8 triple9) -> rule3) triple8) -> rule1))]
("Gary" "is" "red" "+")
((((((triple10 triple8 triple9) -> (rule3 % int3)) triple8 triple9) -> (rule4 % int2)) ((triple10 triple8 triple9) -> (rule3 % int3)) triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not red.
False
13
inv-proof
[(((((((triple10 triple8 triple9) -> rule3) triple8 triple9) -> rule4) ((triple10 triple8 triple9) -> rule3) triple8) -> rule1))]
("Gary" "is" "red" "-")
((((((triple10 triple8 triple9) -> (rule3 % int3)) triple8 triple9) -> (rule4 % int2)) ((triple10 triple8 triple9) -> (rule3 % int3)) triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
True
15
proof
[(((((((((triple10 triple8 triple9) -> rule3) triple8 triple9) -> rule4) ((triple10 triple8 triple9) -> rule3) triple8) -> rule1) triple9) -> rule2))]
("Gary" "is" "big" "+")
((((((((triple10 triple8 triple9) -> (rule3 % int4)) triple8 triple9) -> (rule4 % int3)) ((triple10 triple8 triple9) -> (rule3 % int4)) triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not big.
False
15
inv-proof
[(((((((((triple10 triple8 triple9) -> rule3) triple8 triple9) -> rule4) ((triple10 triple8 triple9) -> rule3) triple8) -> rule1) triple9) -> rule2))]
("Gary" "is" "big" "-")
((((((((triple10 triple8 triple9) -> (rule3 % int4)) triple8 triple9) -> (rule4 % int3)) ((triple10 triple8 triple9) -> (rule3 % int4)) triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Dave is cold.[(triple5)] Eric is blue.[(triple6)] Gary is green.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] Gary is rough.[(triple8)] Gary is round.[(triple7)] @1: Gary is cold.[(((triple10 triple8 triple9) -> rule3))] @2: Gary is blue.[(((((triple10 triple8 triple9) -> rule3) triple8 triple9) -> rule4))] @3: Gary is red.[(((((((triple10 triple8 triple9) -> rule3) triple8 triple9) -> rule4) ((triple10 triple8 triple9) -> rule3) triple8) -> rule1))] @4: Gary is big.[(((((((((triple10 triple8 triple9) -> rule3) triple8 triple9) -> rule4) ((triple10 triple8 triple9) -> rule3) triple8) -> rule1) triple9) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
((triple10 triple8 triple9) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple10 triple8 triple9) -> (rule3 % int2)) triple8 triple9) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((((triple10 triple8 triple9) -> (rule3 % int3)) triple8 triple9) -> (rule4 % int2)) ((triple10 triple8 triple9) -> (rule3 % int3)) triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((((((((triple10 triple8 triple9) -> (rule3 % int4)) triple8 triple9) -> (rule4 % int3)) ((triple10 triple8 triple9) -> (rule3 % int4)) triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Having a round body that is very big makes Alan a kind hearted person that often feels green.
In the snow sits Dave, crying from being cold.
Eric wears all blue.
Gary is rough and green, but he's also nice, kind and round.
A blue person who is feeling a bit rough and cold will be wearing red.
Anyone that is a red, nice soul will be big, too.
Kind, rough people who are nice are also cold.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.
When someone is big, young and rough, they can be cold.