Anne is blue. Anne is green. Anne is round. Bob is blue. Bob is rough. Bob is round. Fiona is green. Fiona is rough. Fiona is round. Harry is blue. Harry is green. Harry is kind. If Fiona is rough and Fiona is round then Fiona is green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If Fiona is rough and Fiona is round then Fiona is green.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Bob is blue.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Fiona is green.[(triple7 OR ((triple8 triple9) -> rule1))] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
((triple8 triple9) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12