Anne is furry. Anne is nice. Charlie is big. Charlie is furry. Charlie is round. Charlie is white. Dave is big. Dave is furry. Dave is nice. Dave is rough. Dave is round. Erin is big. Erin is furry. Erin is nice. Erin is rough. Erin is white. If someone is rough then they are big. Nice, white people are round. All quiet, furry people are rough.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Nice, white people are round.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All quiet, furry people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Erin is furry.
True
1
proof
[(triple13)]
("Erin" "is" "furry" "+")
triple13
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "round" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Charlie is big.[(triple3)] Charlie is furry.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Dave is big.[(triple7 OR ((triple10) -> rule1))] Dave is furry.[(triple8)] Dave is nice.[(triple9)] Dave is rough.[(triple10)] Dave is round.[(triple11)] Erin is big.[(triple12 OR ((triple15) -> rule1))] Erin is furry.[(triple13)] Erin is nice.[(triple14)] Erin is rough.[(triple15)] Erin is white.[(triple16)] @1: Erin is round.[(((triple14 triple16) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
((triple10) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
triple11
Erin is big.
("Erin" "is" "big" "+")
triple12
((triple15) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
Erin is rough.
("Erin" "is" "rough" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
Erin is round.
("Erin" "is" "round" "+")
((triple14 triple16) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1