Alan always goes out of his way to show that he is kind to people. Red Charlie is what folks call him, because he is quite red. In the snow sits Fred, crying from being cold. Gary is very young red and kind, however he's green, nice and cold as well. Any rather round person exposed to weather that leaves them red and cold will feel blue. Big people are also round people. There are so many rough, young people and for some reason they are all big too. Nice people who are looking green and seeing red usually feel rather rough. A young blue person that is kind is known for being extra nice to others, too. When someone is rough like sandpaper and young like a tadpole they are always round.
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and blue and kind then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and young then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Fred is cold.
True
1
proof
[(triple3)]
("Fred" "is" "cold" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple7)]
("Gary" "is" "kind" "-")
triple7
Gary is rough.
True
4
proof
[(((triple6 triple8 triple5) -> rule4))]
("Gary" "is" "rough" "+")
((triple6 triple8 triple5) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
4
inv-proof
[(((triple6 triple8 triple5) -> rule4))]
("Gary" "is" "rough" "-")
((triple6 triple8 triple5) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
True
6
proof
[(((((triple6 triple8 triple5) -> rule4) triple4) -> rule6) OR ((((triple4 ((triple6 triple8 triple5) -> rule4)) -> rule3)) -> rule2))]
("Gary" "is" "round" "+")
((((triple6 triple8 triple5) -> (rule4 % int2)) triple4) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple4 ((triple6 triple8 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not big.
False
6
inv-proof
[(((triple4 ((triple6 triple8 triple5) -> rule4)) -> rule3))]
("Gary" "is" "big" "-")
((triple4 ((triple6 triple8 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
True
9
proof
[(((((((triple6 triple8 triple5) -> rule4) triple4) -> rule6) triple5 triple9) -> rule1) OR ((((((triple4 ((triple6 triple8 triple5) -> rule4)) -> rule3)) -> rule2) triple5 triple9) -> rule1))]
("Gary" "is" "blue" "+")
((((((triple6 triple8 triple5) -> (rule4 % int3)) triple4) -> (rule6 % int2)) triple5 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple4 ((triple6 triple8 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple5 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not blue.
False
9
inv-proof
[(((((((triple6 triple8 triple5) -> rule4) triple4) -> rule6) triple5 triple9) -> rule1) OR ((((((triple4 ((triple6 triple8 triple5) -> rule4)) -> rule3)) -> rule2) triple5 triple9) -> rule1))]
("Gary" "is" "blue" "-")
((((((triple6 triple8 triple5) -> (rule4 % int3)) triple4) -> (rule6 % int2)) triple5 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple4 ((triple6 triple8 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple5 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "rough" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Alan is kind.[(triple1)] Charlie is red.[(triple2)] Fred is cold.[(triple3)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Gary is young.[(triple4)] @1: Gary is rough.[(((triple6 triple8 triple5) -> rule4))] @2: Gary is big.[(((triple4 ((triple6 triple8 triple5) -> rule4)) -> rule3))] Gary is round.[(((((triple6 triple8 triple5) -> rule4) triple4) -> rule6) OR ((((triple4 ((triple6 triple8 triple5) -> rule4)) -> rule3)) -> rule2))] @3: Gary is blue.[(((((((triple6 triple8 triple5) -> rule4) triple4) -> rule6) triple5 triple9) -> rule1) OR ((((((triple4 ((triple6 triple8 triple5) -> rule4)) -> rule3)) -> rule2) triple5 triple9) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 triple8 triple5) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple4 ((triple6 triple8 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple6 triple8 triple5) -> (rule4 % int2)) triple4) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple4 ((triple6 triple8 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple6 triple8 triple5) -> (rule4 % int3)) triple4) -> (rule6 % int2)) triple5 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple4 ((triple6 triple8 triple5) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple5 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Alan always goes out of his way to show that he is kind to people.
Red Charlie is what folks call him, because he is quite red.
In the snow sits Fred, crying from being cold.
Gary is very young red and kind, however he's green, nice and cold as well.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
Big people are also round people.
There are so many rough, young people and for some reason they are all big too.
Nice people who are looking green and seeing red usually feel rather rough.
A young blue person that is kind is known for being extra nice to others, too.
When someone is rough like sandpaper and young like a tadpole they are always round.