Erin is big. Erin is furry. Erin is not nice. Erin is quiet. Erin is rough. Erin is round. Fiona is furry. All big things are rough. If something is cold then it is big. If something is cold then it is not nice. If something is cold and not big then it is not quiet. Round things are quiet. If something is round then it is quiet.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something is cold then it is big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is cold then it is not nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "-"))
If something is cold and not big then it is not quiet.
((("something" "is" "cold" "+") ("something" "is" "big" "~")) -> ("something" "is" "quiet" "-"))
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is round then it is quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Erin is big.
True
1
proof
[(triple1)]
("Erin" "is" "big" "+")
triple1
Erin is not rough.
False
1
inv-proof
[(triple5 OR ((triple1) -> rule1))]
("Erin" "is" "rough" "-")
triple5
((triple1) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@2: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is not nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple6) -> rule5) OR ((triple6) -> rule6))] Erin is rough.[(triple5 OR ((triple1) -> rule1))] Erin is round.[(triple6)] Fiona is furry.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is not nice.
("Erin" "is" "nice" "-")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple6) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple6) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple5
((triple1) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7