Bob is rough. Dave is round. Erin is nice. Fiona is round. If Erin is young then Erin is nice. If something is round and smart then it is quiet.
Bob is rough.
("Bob" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Erin is young then Erin is nice.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "nice" "+"))
If something is round and smart then it is quiet.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
Fiona is round.
True
1
proof
[(triple4)]
("Fiona" "is" "round" "+")
triple4
Erin is not nice.
False
1
inv-proof
[(triple3)]
("Erin" "is" "nice" "-")
triple3
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is rough.[(triple1)] Dave is round.[(triple2)] Erin is nice.[(triple3)] Fiona is round.[(triple4)]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4