As much as Alan is nice, he is also cold and often feels blue. Bob is big and dresses in blue. Dave had big, red, round cheeks. Even though he's young and green, Gary is rough. It's a fact that young people are red people. A person that is blue green and nice are that way because they are still young. People blue with cold are definitely green and new in these parts. It's always true that round, kind people are rough as well.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Gary is young.
True
1
proof
[(triple9)]
("Gary" "is" "young" "+")
triple9
Dave is not round.
False
1
inv-proof
[(triple6)]
("Dave" "is" "round" "-")
triple6
Gary is red.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "red" "+")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "red" "-")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Alan is young.
True
6
proof
[(((triple3 ((triple3 triple2) -> rule3) triple1) -> rule2))]
("Alan" "is" "young" "+")
((triple3 ((triple3 triple2) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not young.
False
6
inv-proof
[(((triple3 ((triple3 triple2) -> rule3) triple1) -> rule2))]
("Alan" "is" "young" "-")
((triple3 ((triple3 triple2) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
True
7
proof
[(((((triple3 ((triple3 triple2) -> rule3) triple1) -> rule2)) -> rule1))]
("Alan" "is" "red" "+")
((((triple3 ((triple3 triple2) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not red.
False
7
inv-proof
[(((((triple3 ((triple3 triple2) -> rule3) triple1) -> rule2)) -> rule1))]
("Alan" "is" "red" "-")
((((triple3 ((triple3 triple2) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "rough" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Bob is big.[(triple5)] Bob is blue.[(triple4)] Dave is big.[(triple8)] Dave is red.[(triple7)] Dave is round.[(triple6)] Gary is green.[(triple11)] Gary is rough.[(triple10)] Gary is young.[(triple9)] @1: Alan is green.[(((triple3 triple2) -> rule3))] Gary is red.[(((triple9) -> rule1))] @2: Alan is young.[(((triple3 ((triple3 triple2) -> rule3) triple1) -> rule2))] @3: Alan is red.[(((((triple3 ((triple3 triple2) -> rule3) triple1) -> rule2)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Alan is green.
("Alan" "is" "green" "+")
((triple3 triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple3 ((triple3 triple2) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((triple3 ((triple3 triple2) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
As much as Alan is nice, he is also cold and often feels blue.
Bob is big and dresses in blue.
Dave had big, red, round cheeks.
Even though he's young and green, Gary is rough.
It's a fact that young people are red people.
A person that is blue green and nice are that way because they are still young.
People blue with cold are definitely green and new in these parts.
It's always true that round, kind people are rough as well.