In the snow sits Alan, crying from being cold. Charlie is so young and darling he is kind to all the old people on the block. Harry is big for being as young as he is. You will also notice how he is green and red. Nice people who have red cold skin are round. If you big person approaches and is cold, fear not because they are nice. If smeone has a blue and green color, then they are young and probably kind. Kind people who are nice find that they must also be rough. Green people who are kind with rosy red skin are round. All men who happen to be red and big, will also be blue.
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Alan is cold.
True
1
proof
[(triple1)]
("Alan" "is" "cold" "+")
triple1
Charlie is not young.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "young" "-")
triple2
Harry is blue.
True
3
proof
[(((triple5 triple7) -> rule6))]
("Harry" "is" "blue" "+")
((triple5 triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple5 triple7) -> rule6))]
("Harry" "is" "blue" "-")
((triple5 triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
True
6
proof
[(((((triple5 triple7) -> rule6) triple6 triple4) -> rule3))]
("Harry" "is" "kind" "+")
((((triple5 triple7) -> (rule6 % int2)) triple6 triple4) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not kind.
False
6
inv-proof
[(((((triple5 triple7) -> rule6) triple6 triple4) -> rule3))]
("Harry" "is" "kind" "-")
((((triple5 triple7) -> (rule6 % int2)) triple6 triple4) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
True
9
proof
[(((triple5 ((((triple5 triple7) -> rule6) triple6 triple4) -> rule3) triple6) -> rule5))]
("Harry" "is" "round" "+")
((triple5 ((((triple5 triple7) -> (rule6 % int3)) triple6 triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not round.
False
9
inv-proof
[(((triple5 ((((triple5 triple7) -> rule6) triple6 triple4) -> rule3) triple6) -> rule5))]
("Harry" "is" "round" "-")
((triple5 ((((triple5 triple7) -> (rule6 % int3)) triple6 triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is cold.[(triple1)] Charlie is kind.[(triple3)] Charlie is young.[(triple2)] Harry is big.[(triple7)] Harry is green.[(triple6)] Harry is red.[(triple5)] Harry is young.[(triple4)] @1: Harry is blue.[(((triple5 triple7) -> rule6))] @2: Harry is kind.[(((((triple5 triple7) -> rule6) triple6 triple4) -> rule3))] @3: Harry is round.[(((triple5 ((((triple5 triple7) -> rule6) triple6 triple4) -> rule3) triple6) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
((triple5 triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((((triple5 triple7) -> (rule6 % int2)) triple6 triple4) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple5 ((((triple5 triple7) -> (rule6 % int3)) triple6 triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
In the snow sits Alan, crying from being cold.
Charlie is so young and darling he is kind to all the old people on the block.
Harry is big for being as young as he is; You will also notice how he is green and red.
Nice people who have red cold skin are round.
If you big person approaches and is cold, fear not because they are nice.
If smeone has a blue and green color, then they are young and probably kind.
Kind people who are nice find that they must also be rough.
Green people who are kind with rosy red skin are round.
All men who happen to be red and big, will also be blue.