Bob is furry. Bob is green. Bob is quiet. Bob is round. Erin is red. Erin is young. Gary is green. Harry is furry. Harry is quiet. Harry is rough. Green people are furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Erin is red.
True
1
proof
[(triple5)]
("Erin" "is" "red" "+")
triple5
Bob is not round.
False
1
inv-proof
[(triple4)]
("Bob" "is" "round" "-")
triple4
Gary is furry.
True
2
proof
[(((triple7) -> rule1))]
("Gary" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Bob is furry.[(triple1 OR ((triple2) -> rule1))] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Erin is red.[(triple5)] Erin is young.[(triple6)] Gary is green.[(triple7)] Harry is furry.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] @1: Gary is furry.[(((triple7) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1