Anne is blue. Anne is not furry. Anne is green. Anne is nice. Anne is rough. Anne is not young. Dave is blue. Dave is furry. Dave is not smart. Fiona is not blue. Fiona is not furry. Fiona is not green. Fiona is not nice. Fiona is rough. Fiona is not smart. Fiona is young. If Fiona is furry then Fiona is blue. All rough, green things are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not young.
("Anne" "is" "young" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is furry then Fiona is blue.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "blue" "+"))
All rough, green things are blue.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Dave is not smart.
True
1
proof
[(triple9)]
("Dave" "is" "smart" "-")
triple9
Fiona is nice.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "nice" "+")
triple13
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is blue.[(triple1 OR ((triple5 triple3) -> rule2))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple2)] Anne is not young.[(triple6)] Anne is rough.[(triple5)] Dave is blue.[(triple7)] Dave is furry.[(triple8)] Dave is not smart.[(triple9)] Fiona is not blue.[(triple10)] Fiona is not furry.[(triple11)] Fiona is not green.[(triple12)] Fiona is not nice.[(triple13)] Fiona is not smart.[(triple15)] Fiona is rough.[(triple14)] Fiona is young.[(triple16)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple5 triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple6
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is not smart.
("Dave" "is" "smart" "-")
triple9
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple10
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple11
Fiona is not green.
("Fiona" "is" "green" "-")
triple12
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple13
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple16