Charlie is big. Charlie is cold. Charlie is not green. Charlie is not rough. Fiona is big. Fiona is cold. Fiona is not green. Fiona is rough. Fiona is round. Gary is cold. Gary is green. Gary is rough. Harry is not cold. Harry is green. Harry is red. Harry is not rough. If Harry is rough and Harry is round then Harry is cold.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
If Harry is rough and Harry is round then Harry is cold.
((("Harry" "is" "rough" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "cold" "+"))
Charlie is not green.
True
1
proof
[(triple3)]
("Charlie" "is" "green" "-")
triple3
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is not green.[(triple3)] Charlie is not rough.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is not green.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is rough.[(triple12)] Harry is green.[(triple14)] Harry is not cold.[(triple13)] Harry is not rough.[(triple16)] Harry is red.[(triple15)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is not green.
("Charlie" "is" "green" "-")
triple3
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is not green.
("Fiona" "is" "green" "-")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is not cold.
("Harry" "is" "cold" "-")
triple13
Harry is not rough.
("Harry" "is" "rough" "-")
triple16
Harry is red.
("Harry" "is" "red" "+")
triple15