Dave is not cold. Dave is not red. Dave is not rough. Dave is young. Fiona is not cold. Fiona is red. Fiona is round. Gary is not cold. Gary is red. Gary is young. If someone is smart and red then they are cold. If someone is rough and young then they are cold.
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is not red.
("Dave" "is" "red" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is smart and red then they are cold.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and young then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Fiona is not round.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "round" "-")
triple7
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Dave is not cold.[(triple1)] Dave is not red.[(triple2)] Dave is not rough.[(triple3)] Dave is young.[(triple4)] Fiona is not cold.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] Gary is not cold.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)]
Dave is not cold.
("Dave" "is" "cold" "-")
triple1
Dave is not red.
("Dave" "is" "red" "-")
triple2
Dave is not rough.
("Dave" "is" "rough" "-")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Gary is not cold.
("Gary" "is" "cold" "-")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10