Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is white. Erin is big. Erin is cold. Erin is green. Erin is red. Fiona is big. Fiona is cold. Fiona is green. Fiona is red. Fiona is white. If Fiona is quiet and Fiona is green then Fiona is cold. All nice people are big.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is quiet and Fiona is green then Fiona is cold.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "cold" "+"))
All nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Fiona is green.
True
1
proof
[(triple14)]
("Fiona" "is" "green" "+")
triple14
Fiona is not big.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "big" "-")
triple12
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Dave is big.[(triple1 OR ((triple4) -> rule2))] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is white.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is red.[(triple11)] Fiona is big.[(triple12)] Fiona is cold.[(triple13)] Fiona is green.[(triple14)] Fiona is red.[(triple15)] Fiona is white.[(triple16)]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple4) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16