Alan, a green man, was also big, but underneath he was kind. Bob has green teeth and rough skin. People also notice his blue eyes. Dave, like all young people, is nice. Even though Gary is green with envy he is nice with rosy red cheeks. A big person who also feels blue and a bit green are usually wearing red. I've noticed that kind people are also big. When someone is blue, lives green they can be rough but kind. It is impossible for a nice person who is blue and red not to be rough. A big person that is tattooed blue will be very nice.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Dave is nice.
True
1
proof
[(triple8)]
("Dave" "is" "nice" "+")
triple8
Alan is not big.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule2))]
("Alan" "is" "big" "-")
triple3
((triple1) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Bob is kind.
True
4
proof
[(((triple6 triple4 triple5) -> rule3))]
("Bob" "is" "kind" "+")
((triple6 triple4 triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
4
inv-proof
[(((triple6 triple4 triple5) -> rule3))]
("Bob" "is" "kind" "-")
((triple6 triple4 triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
True
5
proof
[(((((triple6 triple4 triple5) -> rule3)) -> rule2))]
("Bob" "is" "big" "+")
((((triple6 triple4 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not big.
False
5
inv-proof
[(((((triple6 triple4 triple5) -> rule3)) -> rule2))]
("Bob" "is" "big" "-")
((((triple6 triple4 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
True
7
proof
[(((((((triple6 triple4 triple5) -> rule3)) -> rule2) triple6) -> rule5))]
("Bob" "is" "nice" "+")
((((((triple6 triple4 triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not nice.
False
7
inv-proof
[(((((((triple6 triple4 triple5) -> rule3)) -> rule2) triple6) -> rule5))]
("Bob" "is" "nice" "-")
((((((triple6 triple4 triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "nice" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Alan is big.[(triple3 OR ((triple1) -> rule2))] Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is blue.[(triple6)] Bob is green.[(triple5)] Bob is rough.[(triple4)] Dave is nice.[(triple8)] Dave is young.[(triple7)] Gary is green.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] @1: Bob is kind.[(((triple6 triple4 triple5) -> rule3))] @2: Bob is big.[(((((triple6 triple4 triple5) -> rule3)) -> rule2))] @3: Bob is nice.[(((((((triple6 triple4 triple5) -> rule3)) -> rule2) triple6) -> rule5))] Bob is red.[(((((((triple6 triple4 triple5) -> rule3)) -> rule2) triple6 triple5) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple3
((triple1) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
((triple6 triple4 triple5) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple6 triple4 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple6 triple4 triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((((((triple6 triple4 triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple6 triple5) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Alan, a green man, was also big, but underneath he was kind.
Bob has green teeth and rough skin; People also notice his blue eyes.
Dave, like all young people, is nice.
Even though Gary is green with envy he is nice with rosy red cheeks.
A big person who also feels blue and a bit green are usually wearing red.
I've noticed that kind people are also big.
When someone is blue, lives green they can be rough but kind.
It is impossible for a nice person who is blue and red not to be rough.
A big person that is tattooed blue will be very nice.