Dave is not nice. Dave is red. Dave is rough. Dave is smart. Dave is white. Fiona is big. Fiona is blue. Fiona is nice. Fiona is red. Fiona is not rough. Fiona is not smart. Fiona is white. If someone is nice and big then they are white. Rough, big people are white.
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is nice and big then they are white.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Rough, big people are white.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Dave is not nice.
True
1
proof
[(triple1)]
("Dave" "is" "nice" "-")
triple1
Dave is nice.
False
1
inv-proof
[(triple1)]
("Dave" "is" "nice" "+")
triple1
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is not nice.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Fiona is not rough.[(triple10)] Fiona is not smart.[(triple11)] Fiona is red.[(triple9)] Fiona is white.[(triple12 OR ((triple8 triple6) -> rule1))]
Dave is not nice.
("Dave" "is" "nice" "-")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple10
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple8 triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1