Bob is big. Gary is big. Gary is furry. If Bob is big then Bob is young. If someone is big and young then they are furry. All big, nice people are not round. If someone is big then they are round. If Gary is red and Gary is furry then Gary is nice. If someone is big and furry then they are not quiet. If Bob is young then Bob is red. Young people are big.
Bob is big.
("Bob" "is" "big" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If Bob is big then Bob is young.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "young" "+"))
If someone is big and young then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
All big, nice people are not round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If Gary is red and Gary is furry then Gary is nice.
((("Gary" "is" "red" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "nice" "+"))
If someone is big and furry then they are not quiet.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "-"))
If Bob is young then Bob is red.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "red" "+"))
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Gary is furry.
True
1
proof
[(triple3)]
("Gary" "is" "furry" "+")
triple3
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Bob is round.
True
2
proof
[(((triple1) -> rule4))]
("Bob" "is" "round" "+")
((triple1) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Gary is quiet.
False
3
inv-proof
[(((triple2 triple3) -> rule6))]
("Gary" "is" "quiet" "+")
((triple2 triple3) -> (rule6 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Bob is furry.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule2))]
("Bob" "is" "furry" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not red.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule7))]
("Bob" "is" "red" "-")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is big.[(triple1)] Gary is big.[(triple2)] Gary is furry.[(triple3)] @1: Bob is round.[(((triple1) -> rule4))] Bob is young.[(((triple1) -> rule1))] Gary is not quiet.[(((triple2 triple3) -> rule6))] Gary is round.[(((triple2) -> rule4))] @2: Bob is furry.[(((triple1 ((triple1) -> rule1)) -> rule2))] Bob is red.[(((((triple1) -> rule1)) -> rule7))] @3: Bob is not quiet.[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
((triple2 triple3) -> (rule6 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple2) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not quiet.
("Bob" "is" "quiet" "-")
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3