Bob is rough. Erin is nice. Erin is rough. Erin is white. Harry is nice. Harry is red. Harry is not smart. Quiet things are rough. If something is rough and red then it is nice. If Harry is quiet and Harry is not red then Harry is green.
Bob is rough.
("Bob" "is" "rough" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is rough and red then it is nice.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Harry is quiet and Harry is not red then Harry is green.
((("Harry" "is" "quiet" "+") ("Harry" "is" "red" "~")) -> ("Harry" "is" "green" "+"))
Erin is nice.
True
1
proof
[(triple2)]
("Erin" "is" "nice" "+")
triple2
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is rough.[(triple1)] Erin is nice.[(triple2)] Erin is rough.[(triple3)] Erin is white.[(triple4)] Harry is nice.[(triple5)] Harry is not smart.[(triple7)] Harry is red.[(triple6)]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is not smart.
("Harry" "is" "smart" "-")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6