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