Alan wears all blue. Dave has a round face and is very nice. Eric was born only a few years ago so he is young. Big Harry is a kind man and often wears blue and green shirts. Kind big people are green and young. When you know someone who is young and green you can count on them being nice to everyone. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. When someone feels cold, while being big and rough, they always turn out to be red. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. A person that is both nice and young will also be cold. If someone is red and green and feeels rough, they are kind.
Alan is blue.
("Alan" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Harry is kind.
True
1
proof
[(triple5)]
("Harry" "is" "kind" "+")
triple5
Dave is not nice.
False
1
inv-proof
[(triple3)]
("Dave" "is" "nice" "-")
triple3
Harry is young.
True
4
proof
[(((triple5 triple6 triple8) -> rule1))]
("Harry" "is" "young" "+")
((triple5 triple6 triple8) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
4
inv-proof
[(((triple5 triple6 triple8) -> rule1))]
("Harry" "is" "young" "-")
((triple5 triple6 triple8) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
True
6
proof
[(((((triple5 triple6 triple8) -> rule1) triple6) -> rule2))]
("Harry" "is" "nice" "+")
((((triple5 triple6 triple8) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not nice.
False
6
inv-proof
[(((((triple5 triple6 triple8) -> rule1) triple6) -> rule2))]
("Harry" "is" "nice" "-")
((((triple5 triple6 triple8) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
True
11
proof
[(((((((triple5 triple6 triple8) -> rule1) triple6) -> rule2) ((triple5 triple6 triple8) -> rule1)) -> rule6))]
("Harry" "is" "cold" "+")
((((((triple5 triple6 triple8) -> (rule1 % int3)) triple6) -> (rule2 % int2)) ((triple5 triple6 triple8) -> (rule1 % int3))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not cold.
False
11
inv-proof
[(((((((triple5 triple6 triple8) -> rule1) triple6) -> rule2) ((triple5 triple6 triple8) -> rule1)) -> rule6))]
("Harry" "is" "cold" "-")
((((((triple5 triple6 triple8) -> (rule1 % int3)) triple6) -> (rule2 % int2)) ((triple5 triple6 triple8) -> (rule1 % int3))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "kind" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
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 round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is blue.[(triple1)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Eric is young.[(triple4)] Harry is big.[(triple8)] Harry is blue.[(triple7)] Harry is green.[(triple6)] Harry is kind.[(triple5)] @1: Harry is young.[(((triple5 triple6 triple8) -> rule1))] @2: Harry is nice.[(((((triple5 triple6 triple8) -> rule1) triple6) -> rule2))] @3: Harry is cold.[(((((((triple5 triple6 triple8) -> rule1) triple6) -> rule2) ((triple5 triple6 triple8) -> rule1)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
((triple5 triple6 triple8) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple5 triple6 triple8) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple5 triple6 triple8) -> (rule1 % int3)) triple6) -> (rule2 % int2)) ((triple5 triple6 triple8) -> (rule1 % int3))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Alan wears all blue.
Dave has a round face and is very nice.
Eric was born only a few years ago so he is young.
Big Harry is a kind man and often wears blue and green shirts.
Kind big people are green and young.
When you know someone who is young and green you can count on them being nice to everyone.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
When someone feels cold, while being big and rough, they always turn out to be red.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
A person that is both nice and young will also be cold.
If someone is red and green and feeels rough, they are kind.