Alan had big, red, round cheeks. Big Dave is still young so it's easy for him to be kind. Fred ate some rotten meat and now feels green. Even though Harry is still young, he is already very round.  Harry is a nice guy and when he gets cold his skin turns blue. When a young person has a round shape and feels blue, they will be green as well. Santa Claus is red and kind. He is also very nice, especially to children. A nice person who is always seen to be wearing green clothes will be rather big in size. Anyone who's got young, round and big traits is bound to have a red trait, too. A big and round shaped, blue person will be cold for sure. Round, nice people are normally cold and nasty.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and round and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Harry is cold.
True
1
proof
[(triple11 OR ((triple9 triple10) -> rule6) OR ((triple9 triple12 ((((triple12 triple9 triple8) -> rule1) triple10) -> rule3)) -> rule5))]
("Harry" "is" "cold" "+")
triple11
((triple9 triple10) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple9 triple12 ((((triple12 triple9 triple8) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Harry is green.
True
4
proof
[(((triple12 triple9 triple8) -> rule1))]
("Harry" "is" "green" "+")
((triple12 triple9 triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
4
inv-proof
[(((triple12 triple9 triple8) -> rule1))]
("Harry" "is" "green" "-")
((triple12 triple9 triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
True
6
proof
[(((((triple12 triple9 triple8) -> rule1) triple10) -> rule3))]
("Harry" "is" "big" "+")
((((triple12 triple9 triple8) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not big.
False
6
inv-proof
[(((((triple12 triple9 triple8) -> rule1) triple10) -> rule3))]
("Harry" "is" "big" "-")
((((triple12 triple9 triple8) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
True
9
proof
[(((triple8 ((((triple12 triple9 triple8) -> rule1) triple10) -> rule3) triple9) -> rule4))]
("Harry" "is" "red" "+")
((triple8 ((((triple12 triple9 triple8) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not red.
False
9
inv-proof
[(((triple8 ((((triple12 triple9 triple8) -> rule1) triple10) -> rule3) triple9) -> rule4))]
("Harry" "is" "red" "-")
((triple8 ((((triple12 triple9 triple8) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "cold" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Dave is big.[(triple6)] Dave is kind.[(triple5)] Dave is young.[(triple4)] Fred is green.[(triple7)] Harry is blue.[(triple12)] Harry is cold.[(triple11 OR ((triple9 triple10) -> rule6) OR ((triple9 triple12 ((((triple12 triple9 triple8) -> rule1) triple10) -> rule3)) -> rule5))] Harry is nice.[(triple10)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Harry is green.[(((triple12 triple9 triple8) -> rule1))] @2: Harry is big.[(((((triple12 triple9 triple8) -> rule1) triple10) -> rule3))] @3: Harry is red.[(((triple8 ((((triple12 triple9 triple8) -> rule1) triple10) -> rule3) triple9) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple9 triple10) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple9 triple12 ((((triple12 triple9 triple8) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
((triple12 triple9 triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple12 triple9 triple8) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple8 ((((triple12 triple9 triple8) -> (rule1 % int3)) triple10) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Alan had big, red, round cheeks.
Big Dave is still young so it's easy for him to be kind.
Fred ate some rotten meat and now feels green.
Even though Harry is still young, he is already very round; Harry is a nice guy and when he gets cold his skin turns blue.
When a young person has a round shape and feels blue, they will be green as well.
Santa Claus is red and kind; He is also very nice, especially to children.
A nice person who is always seen to be wearing green clothes will be rather big in size.
Anyone who's got young, round and big traits is bound to have a red trait, too.
A big and round shaped, blue person will be cold for sure.
Round, nice people are normally cold and nasty.