Bob is quiet. Gary is furry. Gary is smart. Quiet people are smart. If Bob is furry and Bob is young then Bob is smart. Smart people are red.
Bob is quiet.
("Bob" "is" "quiet" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If Bob is furry and Bob is young then Bob is smart.
((("Bob" "is" "furry" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "smart" "+"))
Smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Gary is smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Bob is not quiet.
False
1
inv-proof
[(triple1)]
("Bob" "is" "quiet" "-")
triple1
Bob is smart.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is quiet.[(triple1)] Gary is furry.[(triple2)] Gary is smart.[(triple3)] @1: Bob is smart.[(((triple1) -> rule1))] Gary is red.[(((triple3) -> rule3))] @2: Bob is red.[(((((triple1) -> rule1)) -> rule3))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple3) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2