Dave is not blue. Dave is furry. Dave is green. Dave is nice. Dave is red. Fiona is blue. Fiona is not furry. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Quiet things are blue. If something is nice and not blue then it is green.
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If something is nice and not blue then it is green.
((("something" "is" "nice" "+") ("something" "is" "blue" "~")) -> ("something" "is" "green" "+"))
Fiona is not green.
True
1
proof
[(triple8)]
("Fiona" "is" "green" "-")
triple8
Dave is not nice.
False
1
inv-proof
[(triple4)]
("Dave" "is" "nice" "-")
triple4
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple4 triple1) -> rule2))] Dave is nice.[(triple4)] Dave is not blue.[(triple1)] Dave is red.[(triple5)] Fiona is blue.[(triple6 OR ((triple10) -> rule1))] Fiona is nice.[(triple9)] Fiona is not furry.[(triple7)] Fiona is not green.[(triple8)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is smart.[(triple12)]
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple4 triple1) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not blue.
("Dave" "is" "blue" "-")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((triple10) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple7
Fiona is not green.
("Fiona" "is" "green" "-")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12