Bob is rough. Erin is green. Erin is kind. Erin is rough. Erin is white. Fiona is green. Fiona is quiet. Fiona is rough. Gary is quiet. Gary is rough. If something is furry then it is rough. If Erin is furry and Erin is green then Erin is rough. White things are furry.
Bob is rough.
("Bob" "is" "rough" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is furry then it is rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If Erin is furry and Erin is green then Erin is rough.
((("Erin" "is" "furry" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "rough" "+"))
White things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Erin is kind.
True
1
proof
[(triple3)]
("Erin" "is" "kind" "+")
triple3
Gary is not quiet.
False
1
inv-proof
[(triple9)]
("Gary" "is" "quiet" "-")
triple9
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "furry" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is rough.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is rough.[(triple4 OR ((((triple5) -> rule3)) -> rule1) OR ((((triple5) -> rule3) triple2) -> rule2))] Erin is white.[(triple5)] Fiona is green.[(triple6)] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] @1: Erin is furry.[(((triple5) -> rule3))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple5) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1