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