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