Alan was born only a few years ago so he is young. Young Bob is a round fellow: sometimes nice, sometimes rough. The diving trip left Dave red and green all over, yet he remains the nice (though rather rough) guy he always has been. They always call him rough Eric. You will probably see that red, round people are nice, as well as green. Rough and cold and blue people are round. A rough person who is young and nice is also red. A green colored person will be young and also kind.
Alan is young.
("Alan" "is" "young" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Dave is green.
True
1
proof
[(triple9)]
("Dave" "is" "green" "+")
triple9
Eric is not rough.
False
1
inv-proof
[(triple10)]
("Eric" "is" "rough" "-")
triple10
Bob is red.
True
4
proof
[(((triple2 triple5 triple4) -> rule3))]
("Bob" "is" "red" "+")
((triple2 triple5 triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
4
inv-proof
[(((triple2 triple5 triple4) -> rule3))]
("Bob" "is" "red" "-")
((triple2 triple5 triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
True
7
proof
[(((triple3 ((triple2 triple5 triple4) -> rule3) triple5) -> rule1))]
("Bob" "is" "green" "+")
((triple3 ((triple2 triple5 triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not green.
False
7
inv-proof
[(((triple3 ((triple2 triple5 triple4) -> rule3) triple5) -> rule1))]
("Bob" "is" "green" "-")
((triple3 ((triple2 triple5 triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
True
9
proof
[(((((triple3 ((triple2 triple5 triple4) -> rule3) triple5) -> rule1) triple2) -> rule4))]
("Bob" "is" "kind" "+")
((((triple3 ((triple2 triple5 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not kind.
False
9
inv-proof
[(((((triple3 ((triple2 triple5 triple4) -> rule3) triple5) -> rule1) triple2) -> rule4))]
("Bob" "is" "kind" "-")
((((triple3 ((triple2 triple5 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "red" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is young.[(triple1)] Bob is nice.[(triple5)] Bob is rough.[(triple4)] Bob is round.[(triple3)] Bob is young.[(triple2)] Dave is green.[(triple9)] Dave is nice.[(triple8)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Eric is rough.[(triple10)] @1: Bob is red.[(((triple2 triple5 triple4) -> rule3))] @2: Bob is green.[(((triple3 ((triple2 triple5 triple4) -> rule3) triple5) -> rule1))] @3: Bob is kind.[(((((triple3 ((triple2 triple5 triple4) -> rule3) triple5) -> rule1) triple2) -> rule4))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple2 triple5 triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple3 ((triple2 triple5 triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple3 ((triple2 triple5 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Alan was born only a few years ago so he is young.
Young Bob is a round fellow: sometimes nice, sometimes rough.
The diving trip left Dave red and green all over, yet he remains the nice (though rather rough) guy he always has been.
They always call him rough Eric.
You will probably see that red, round people are nice, as well as green.
Rough and cold and blue people are round.
A rough person who is young and nice is also red.
A green colored person will be young and also kind.