Alan was born only a few years ago so he is young. Young Bob is wearing green pants. Eric, like all young people, is nice. Gary is blue just like his dog. Gary is rough and round enough for the dog to use him as an exercise wheel. Soon you will understand that big people are nice. When someone is young, they can be cold but kind. As far as anyone can tell, whoever is kind, rough, and big is a round person. A green, round, blue male or female will be a big male or female, too. When someone feels blue and rough, they might be described as green.
Alan is young.
("Alan" "is" "young" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and round and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Gary is green.
True
3
proof
[(((triple8 triple7) -> rule5))]
("Gary" "is" "green" "+")
((triple8 triple7) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple8 triple7) -> rule5))]
("Gary" "is" "green" "-")
((triple8 triple7) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
True
6
proof
[(((((triple8 triple7) -> rule5) triple6 triple8) -> rule4))]
("Gary" "is" "big" "+")
((((triple8 triple7) -> (rule5 % int2)) triple6 triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not big.
False
6
inv-proof
[(((((triple8 triple7) -> rule5) triple6 triple8) -> rule4))]
("Gary" "is" "big" "-")
((((triple8 triple7) -> (rule5 % int2)) triple6 triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
True
7
proof
[(((((((triple8 triple7) -> rule5) triple6 triple8) -> rule4)) -> rule1))]
("Gary" "is" "nice" "+")
((((((triple8 triple7) -> (rule5 % int3)) triple6 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not nice.
False
7
inv-proof
[(((((((triple8 triple7) -> rule5) triple6 triple8) -> rule4)) -> rule1))]
("Gary" "is" "nice" "-")
((((((triple8 triple7) -> (rule5 % int3)) triple6 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "kind" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "green" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Alan is young.[(triple1)] Bob is green.[(triple3)] Bob is young.[(triple2)] Eric is nice.[(triple5)] Eric is young.[(triple4)] Gary is blue.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] @1: Gary is green.[(((triple8 triple7) -> rule5))] @2: Gary is big.[(((((triple8 triple7) -> rule5) triple6 triple8) -> rule4))] @3: Gary is nice.[(((((((triple8 triple7) -> rule5) triple6 triple8) -> rule4)) -> rule1))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
((triple8 triple7) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple8 triple7) -> (rule5 % int2)) triple6 triple8) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple8 triple7) -> (rule5 % int3)) triple6 triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Alan was born only a few years ago so he is young.
Young Bob is wearing green pants.
Eric, like all young people, is nice.
Gary is blue just like his dog; Gary is rough and round enough for the dog to use him as an exercise wheel.
Soon you will understand that big people are nice.
When someone is young, they can be cold but kind.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
A green, round, blue male or female will be a big male or female, too.
When someone feels blue and rough, they might be described as green.