Anne is big. Anne is kind. Anne is rough. Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is round. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Big, rough things are furry. If something is furry and nice then it is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Big, rough things are furry.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is furry and nice then it is big.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Erin is furry.
True
1
proof
[(triple5 OR ((triple4 triple8) -> rule1))]
("Erin" "is" "furry" "+")
triple5
((triple4 triple8) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is not rough.
False
1
inv-proof
[(triple14)]
("Fiona" "is" "rough" "-")
triple14
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Erin is big.[(triple4 OR ((triple5 triple7) -> rule2))] Erin is furry.[(triple5 OR ((triple4 triple8) -> rule1))] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Fiona is big.[(triple10 OR ((triple11 triple13) -> rule2))] Fiona is furry.[(triple11 OR ((triple10 triple14) -> rule1))] Fiona is kind.[(triple12)] Fiona is nice.[(triple13)] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)] @1: Anne is furry.[(((triple1 triple3) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
((triple5 triple7) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple5
((triple4 triple8) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
((triple11 triple13) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
((triple10 triple14) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
Anne is furry.
("Anne" "is" "furry" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1