Alan is young and nice, but when he's feeling blue, he can also be quite cold to people. Bob, a green man, was also big, but underneath he was kind. Dave is a big, young boy who is very kind.  He stands out because his skin is blue and green. Red, kind, young people will be rough people, too. I have found that young, blue, and big individuals are also red. Rough and green people are also nice. People blue with cold are definitely green and new in these parts. Someone who is very rough and big in size, and also has a round physique tend to be very cold. People that are blue, cold, and big, are rather rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big and round then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Bob is big.
True
1
proof
[(triple7)]
("Bob" "is" "big" "+")
triple7
Alan is not nice.
False
1
inv-proof
[(triple2)]
("Alan" "is" "nice" "-")
triple2
Dave is red.
True
4
proof
[(((triple8 triple11 triple12) -> rule2))]
("Dave" "is" "red" "+")
((triple8 triple11 triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
4
inv-proof
[(((triple8 triple11 triple12) -> rule2))]
("Dave" "is" "red" "-")
((triple8 triple11 triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
True
7
proof
[(((triple8 triple9 ((triple8 triple11 triple12) -> rule2)) -> rule1))]
("Dave" "is" "rough" "+")
((triple8 triple9 ((triple8 triple11 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not rough.
False
7
inv-proof
[(((triple8 triple9 ((triple8 triple11 triple12) -> rule2)) -> rule1))]
("Dave" "is" "rough" "-")
((triple8 triple9 ((triple8 triple11 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
True
9
proof
[(((((triple8 triple9 ((triple8 triple11 triple12) -> rule2)) -> rule1) triple10) -> rule3))]
("Dave" "is" "nice" "+")
((((triple8 triple9 ((triple8 triple11 triple12) -> (rule2 % int3))) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not nice.
False
9
inv-proof
[(((((triple8 triple9 ((triple8 triple11 triple12) -> rule2)) -> rule1) triple10) -> rule3))]
("Dave" "is" "nice" "-")
((((triple8 triple9 ((triple8 triple11 triple12) -> (rule2 % int3))) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "red" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "cold" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple7)] Bob is green.[(triple6)] Bob is kind.[(triple5)] Dave is big.[(triple12)] Dave is blue.[(triple11)] Dave is green.[(triple10)] Dave is kind.[(triple9)] Dave is young.[(triple8)] @1: Alan is green.[(((triple4 triple3) -> rule4))] Dave is red.[(((triple8 triple11 triple12) -> rule2))] @2: Dave is rough.[(((triple8 triple9 ((triple8 triple11 triple12) -> rule2)) -> rule1))] @3: Dave is nice.[(((((triple8 triple9 ((triple8 triple11 triple12) -> rule2)) -> rule1) triple10) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple12
Dave is blue.
("Dave" "is" "blue" "+")
triple11
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple8
Alan is green.
("Alan" "is" "green" "+")
((triple4 triple3) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple8 triple11 triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple8 triple9 ((triple8 triple11 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple8 triple9 ((triple8 triple11 triple12) -> (rule2 % int3))) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Alan is young and nice, but when he's feeling blue, he can also be quite cold to people.
Bob, a green man, was also big, but underneath he was kind.
Dave is a big, young boy who is very kind; He stands out because his skin is blue and green.
Red, kind, young people will be rough people, too.
I have found that young, blue, and big individuals are also red.
Rough and green people are also nice.
People blue with cold are definitely green and new in these parts.
Someone who is very rough and big in size, and also has a round physique tend to be very cold.
People that are blue, cold, and big, are rather rough.