Anne is furry. Anne is white. Bob is round. Bob is white. Erin is round. Erin is white. Erin is young. Harry is furry. Harry is round. Harry is white. All blue things are round. If Erin is blue and Erin is red then Erin is kind. If Harry is kind then Harry is blue. Furry things are white. If Bob is white then Bob is round. If Erin is red and Erin is kind then Erin is round.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If Erin is blue and Erin is red then Erin is kind.
((("Erin" "is" "blue" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "kind" "+"))
If Harry is kind then Harry is blue.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "blue" "+"))
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If Bob is white then Bob is round.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "round" "+"))
If Erin is red and Erin is kind then Erin is round.
((("Erin" "is" "red" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "round" "+"))
Harry is furry.
True
1
proof
[(triple8)]
("Harry" "is" "furry" "+")
triple8
Harry is not round.
False
1
inv-proof
[(triple9)]
("Harry" "is" "round" "-")
triple9
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is furry.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule4))] Bob is round.[(triple3 OR ((triple4) -> rule5))] Bob is white.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Harry is furry.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10 OR ((triple8) -> rule4))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
((triple1) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple4) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple8) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1