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