Erin is big. Erin is furry. Erin is not quiet. Erin is not red. Erin is rough. Erin is round. Erin is young. Fiona is not quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. If Fiona is young and Fiona is not big then Fiona is furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is not red.
("Erin" "is" "red" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is young and Fiona is not big then Fiona is furry.
((("Fiona" "is" "young" "+") ("Fiona" "is" "big" "~")) -> ("Fiona" "is" "furry" "+"))
Erin is rough.
True
1
proof
[(triple5)]
("Erin" "is" "rough" "+")
triple5
Erin is not big.
False
1
inv-proof
[(triple1)]
("Erin" "is" "big" "-")
triple1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is not quiet.[(triple3)] Erin is not red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)] Fiona is not quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple3
Erin is not red.
("Erin" "is" "red" "-")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12