Anne is nice. Bob is furry. Bob is quiet. Erin is rough. Fiona is big. Fiona is furry. Fiona is smart. If something is kind then it is furry. All smart, big things are rough.
Anne is nice.
("Anne" "is" "nice" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is kind then it is furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
All smart, big things are rough.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Fiona is big.
True
1
proof
[(triple5)]
("Fiona" "is" "big" "+")
triple5
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
Fiona is rough.
True
3
proof
[(((triple7 triple5) -> rule2))]
("Fiona" "is" "rough" "+")
((triple7 triple5) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple7 triple5) -> rule2))]
("Fiona" "is" "rough" "-")
((triple7 triple5) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is nice.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Erin is rough.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is rough.[(((triple7 triple5) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7 triple5) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1