Alan is nice, even when he is rough and red with anger. Dave is both young and fairly round in size. Eric is blue and cold. Harry is rather young, but he is also kind, green, cold and big. Santa Claus is red and kind. He is also very nice, especially to children. If a kind person is also young and round shaped, they will be colored blue. Anybody that is big is also someone who is going to be blue. Young people that are cold and round are necessarily big. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. If you ever find someone who's nice, rough, and blue, expect them to also be green. Anyone will tell you the kind and the big are also rough.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Harry is young.
True
1
proof
[(triple8)]
("Harry" "is" "young" "+")
triple8
Dave is not round.
False
1
inv-proof
[(triple5)]
("Dave" "is" "round" "-")
triple5
Harry is blue.
True
2
proof
[(((triple12) -> rule3))]
("Harry" "is" "blue" "+")
((triple12) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple12 triple9) -> rule7))]
("Harry" "is" "rough" "-")
((triple12 triple9) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
True
5
proof
[(((triple10 triple9 ((triple12) -> rule3)) -> rule5))]
("Harry" "is" "red" "+")
((triple10 triple9 ((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not red.
False
5
inv-proof
[(((triple10 triple9 ((triple12) -> rule3)) -> rule5))]
("Harry" "is" "red" "-")
((triple10 triple9 ((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
True
7
proof
[(((((triple10 triple9 ((triple12) -> rule3)) -> rule5) triple9) -> rule1))]
("Harry" "is" "nice" "+")
((((triple10 triple9 ((triple12) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not nice.
False
7
inv-proof
[(((((triple10 triple9 ((triple12) -> rule3)) -> rule5) triple9) -> rule1))]
("Harry" "is" "nice" "-")
((((triple10 triple9 ((triple12) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "-")
Alan is green.
Unknown
rconc
[@3: Alan is green.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule4 <- FAIL)]]
("Alan" "is" "green" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "red" "-")
Alan is blue.
Unknown
rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Alan" "is" "blue" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is round.[(triple5)] Dave is young.[(triple4)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is young.[(triple8)] @1: Harry is blue.[(((triple12) -> rule3))] Harry is rough.[(((triple12 triple9) -> rule7))] @2: Harry is red.[(((triple10 triple9 ((triple12) -> rule3)) -> rule5))] @3: Harry is nice.[(((((triple10 triple9 ((triple12) -> rule3)) -> rule5) triple9) -> rule1))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
((triple12) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple12 triple9) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10 triple9 ((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10 triple9 ((triple12) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Alan is nice, even when he is rough and red with anger.
Dave is both young and fairly round in size.
Eric is blue and cold.
Harry is rather young, but he is also kind, green, cold and big.
Santa Claus is red and kind; He is also very nice, especially to children.
If a kind person is also young and round shaped, they will be colored blue.
Anybody that is big is also someone who is going to be blue.
Young people that are cold and round are necessarily big.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
If you ever find someone who's nice, rough, and blue, expect them to also be green.
Anyone will tell you the kind and the big are also rough.