Fiona is big. Fiona is cold. Fiona is not furry. Fiona is quiet. Fiona is rough. Fiona is young. Gary is cold. Gary is furry. Gary is quiet. Gary is not rough. Gary is round. Gary is not young. If Fiona is young and Fiona is not quiet then Fiona is rough. Round, big people are young. If someone is big then they are young.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is not young.
("Gary" "is" "young" "-")
If Fiona is young and Fiona is not quiet then Fiona is rough.
((("Fiona" "is" "young" "+") ("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "rough" "+"))
Round, big people are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Fiona is rough.
True
1
proof
[(triple5)]
("Fiona" "is" "rough" "+")
triple5
Fiona is not rough.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "rough" "-")
triple5
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is not furry.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is young.[(triple6 OR ((triple1) -> rule3))] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is not rough.[(triple10)] Gary is not young.[(triple12)] Gary is quiet.[(triple9)] Gary is round.[(triple11)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((triple1) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is not rough.
("Gary" "is" "rough" "-")
triple10
Gary is not young.
("Gary" "is" "young" "-")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple11