Anne is smart. Anne is white. Charlie is big. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Fiona is big. Fiona is cold. Fiona is not rough. Fiona is white. Gary is big. Gary is green. Gary is not rough. Gary is not white. All rough, big people are not green. If someone is cold and not big then they are white.
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is not white.
("Gary" "is" "white" "-")
All rough, big people are not green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "-"))
If someone is cold and not big then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "white" "+"))
Gary is green.
True
1
proof
[(triple14)]
("Gary" "is" "green" "+")
triple14
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Fiona is big.[(triple9)] Fiona is cold.[(triple10)] Fiona is not rough.[(triple11)] Fiona is white.[(triple12)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is not rough.[(triple15)] Gary is not white.[(triple16)] @1: Charlie is not green.[(((triple6 triple3) -> rule1))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is not rough.
("Gary" "is" "rough" "-")
triple15
Gary is not white.
("Gary" "is" "white" "-")
triple16
Charlie is not green.
("Charlie" "is" "green" "-")
((triple6 triple3) -> (rule1 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1