Bob is smart. Erin is smart. Quiet things are blue. Red things are round. If Bob is green and Bob is rough then Bob is round.
Bob is smart.
("Bob" "is" "smart" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If Bob is green and Bob is rough then Bob is round.
((("Bob" "is" "green" "+") ("Bob" "is" "rough" "+")) -> ("Bob" "is" "round" "+"))
Erin is smart.
True
1
proof
[(triple2)]
("Erin" "is" "smart" "+")
triple2
Erin is not smart.
False
1
inv-proof
[(triple2)]
("Erin" "is" "smart" "-")
triple2
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is smart.[(triple1)] Erin is smart.[(triple2)]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2