Anne is furry. Bob is furry. Erin is green. Gary is red. If something is rough then it is nice. If something is red then it is rough. If Bob is kind and Bob is nice then Bob is rough. If Bob is green then Bob is quiet. Nice things are rough. If Anne is quiet and Anne is nice then Anne is rough.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is rough then it is nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is red then it is rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If Bob is kind and Bob is nice then Bob is rough.
((("Bob" "is" "kind" "+") ("Bob" "is" "nice" "+")) -> ("Bob" "is" "rough" "+"))
If Bob is green then Bob is quiet.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "quiet" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If Anne is quiet and Anne is nice then Anne is rough.
((("Anne" "is" "quiet" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "rough" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Gary is not red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
Gary is rough.
True
2
proof
[(((triple4) -> rule2))]
("Gary" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple4) -> rule2))]
("Gary" "is" "rough" "-")
((triple4) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Erin is not nice.
Unknown
inv-rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Bob is rough.
Unknown
rconc
[@3: Bob is rough.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is furry.[(triple1)] Bob is furry.[(triple2)] Erin is green.[(triple3)] Gary is red.[(triple4)] @1: Gary is rough.[(((triple4) -> rule2))] @2: Gary is nice.[(((((triple4) -> rule2)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2