Bob is red. Bob is rough. Erin is not blue. Erin is rough. Erin is smart. Fiona is furry. Fiona is green. Fiona is not red. Harry is big. Harry is green. If Fiona is red and Fiona is not smart then Fiona is not blue. If something is big and not green then it is blue.
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If Fiona is red and Fiona is not smart then Fiona is not blue.
((("Fiona" "is" "red" "+") ("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "blue" "-"))
If something is big and not green then it is blue.
((("something" "is" "big" "+") ("something" "is" "green" "~")) -> ("something" "is" "blue" "+"))
Erin is smart.
True
1
proof
[(triple5)]
("Erin" "is" "smart" "+")
triple5
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Erin is not blue.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is not red.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Erin is not blue.
("Erin" "is" "blue" "-")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not red.
("Fiona" "is" "red" "-")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10