Alan's a round guy, and a red and green guy. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Bob. Charlie is both young and fairly round in size. Red Dave is what folks call him, because he is quite red. Anyone you find who happens to be kind and blue will also be very nice. People,though rough and red,tend to be cold too. Color anybody red and blue, then make them rough, and they will surely be round. Somebody fitting a young, blue and round description will also fit a green description. All nice people are young. A young person who is both big and blue is also someone who is green.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and young and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Alan is green.
True
1
proof
[(triple3)]
("Alan" "is" "green" "+")
triple3
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Bob is nice.
True
3
proof
[(((triple7 triple9) -> rule1))]
("Bob" "is" "nice" "+")
((triple7 triple9) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple7 triple9) -> rule1))]
("Bob" "is" "nice" "-")
((triple7 triple9) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
True
4
proof
[(((((triple7 triple9) -> rule1)) -> rule5))]
("Bob" "is" "young" "+")
((((triple7 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not young.
False
4
inv-proof
[(((((triple7 triple9) -> rule1)) -> rule5))]
("Bob" "is" "young" "-")
((((triple7 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
True
7
proof
[(((triple9 ((((triple7 triple9) -> rule1)) -> rule5) triple4) -> rule4) OR ((triple9 ((((triple7 triple9) -> rule1)) -> rule5) ((triple9 triple5 triple6) -> rule3)) -> rule4))]
("Bob" "is" "green" "+")
((triple9 ((((triple7 triple9) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple9 ((((triple7 triple9) -> (rule1 % int4))) -> (rule5 % int3)) ((triple9 triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not green.
False
7
inv-proof
[(((triple9 ((((triple7 triple9) -> rule1)) -> rule5) triple4) -> rule4) OR ((triple9 ((((triple7 triple9) -> rule1)) -> rule5) ((triple9 triple5 triple6) -> rule3)) -> rule4))]
("Bob" "is" "green" "-")
((triple9 ((((triple7 triple9) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple9 ((((triple7 triple9) -> (rule1 % int4))) -> (rule5 % int3)) ((triple9 triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "green" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple9)] Bob is cold.[(triple8 OR ((triple5 triple6) -> rule2))] Bob is kind.[(triple7)] Bob is red.[(triple6)] Bob is rough.[(triple5)] Bob is round.[(triple4 OR ((triple9 triple5 triple6) -> rule3))] Charlie is round.[(triple11)] Charlie is young.[(triple10)] Dave is red.[(triple12)] @1: Bob is nice.[(((triple7 triple9) -> rule1))] @2: Bob is young.[(((((triple7 triple9) -> rule1)) -> rule5))] @3: Bob is green.[(((triple9 ((((triple7 triple9) -> rule1)) -> rule5) triple4) -> rule4) OR ((triple9 ((((triple7 triple9) -> rule1)) -> rule5) ((triple9 triple5 triple6) -> rule3)) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
triple8
((triple5 triple6) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple9 triple5 triple6) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple11
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple12
Bob is nice.
("Bob" "is" "nice" "+")
((triple7 triple9) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple7 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple9 ((((triple7 triple9) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple9 ((((triple7 triple9) -> (rule1 % int4))) -> (rule5 % int3)) ((triple9 triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Alan's a round guy, and a red and green guy.
That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Bob.
Charlie is both young and fairly round in size.
Red Dave is what folks call him, because he is quite red.
Anyone you find who happens to be kind and blue will also be very nice.
People,though rough and red,tend to be cold too.
Color anybody red and blue, then make them rough, and they will surely be round.
Somebody fitting a young, blue and round description will also fit a green description.
All nice people are young.
A young person who is both big and blue is also someone who is green.