Bob is furry. Bob is quiet. Erin is nice. Erin is quiet. Gary is blue. Gary is rough. Harry is blue. Quiet things are furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Bob is furry.
True
1
proof
[(triple1 OR ((triple2) -> rule1))]
("Bob" "is" "furry" "+")
triple1
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Harry is not blue.
False
1
inv-proof
[(triple7)]
("Harry" "is" "blue" "-")
triple7
Erin is furry.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple4) -> rule1))]
("Erin" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is furry.[(triple1 OR ((triple2) -> rule1))] Bob is quiet.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Gary is blue.[(triple5)] Gary is rough.[(triple6)] Harry is blue.[(triple7)] @1: Erin is furry.[(((triple4) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1