Even though he's a big dude, Alan is cold. Bob always goes out of his way to show that he is kind to people. Eric is big and tends to wear red shirts. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. People who are rough and green with envy are young. All nice people are young. A big person that is tattooed blue will be very nice. All men who happen to be red and big, will also be blue.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Bob is not kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "-")
triple3
Eric is blue.
True
3
proof
[(((triple4 triple5) -> rule4))]
("Eric" "is" "blue" "+")
((triple4 triple5) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple4 triple5) -> rule4))]
("Eric" "is" "blue" "-")
((triple4 triple5) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
True
5
proof
[(((triple5 ((triple4 triple5) -> rule4)) -> rule3))]
("Eric" "is" "nice" "+")
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((triple5 ((triple4 triple5) -> rule4)) -> rule3))]
("Eric" "is" "nice" "-")
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
True
6
proof
[(((((triple5 ((triple4 triple5) -> rule4)) -> rule3)) -> rule2))]
("Eric" "is" "young" "+")
((((triple5 ((triple4 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not young.
False
6
inv-proof
[(((((triple5 ((triple4 triple5) -> rule4)) -> rule3)) -> rule2))]
("Eric" "is" "young" "-")
((((triple5 ((triple4 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "blue" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fred" "is" "young" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is kind.[(triple3)] Eric is big.[(triple5)] Eric is red.[(triple4)] Fred is blue.[(triple7)] Fred is rough.[(triple6)] @1: Eric is blue.[(((triple4 triple5) -> rule4))] @2: Eric is nice.[(((triple5 ((triple4 triple5) -> rule4)) -> rule3))] @3: Eric is young.[(((((triple5 ((triple4 triple5) -> rule4)) -> rule3)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
((triple4 triple5) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 ((triple4 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((((triple5 ((triple4 triple5) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Even though he's a big dude, Alan is cold.
Bob always goes out of his way to show that he is kind to people.
Eric is big and tends to wear red shirts.
Fred grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
People who are rough and green with envy are young.
All nice people are young.
A big person that is tattooed blue will be very nice.
All men who happen to be red and big, will also be blue.