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