Anne is big. Anne is green. Anne is young. Erin is green. Erin is kind. Erin is nice. Erin is round. Erin is white. Erin is young. Fiona is big. Fiona is green. Fiona is kind. All round, kind things are big. All white, round things are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
All round, kind things are big.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
All white, round things are big.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Erin is big.
True
3
proof
[(((triple7 triple5) -> rule1) OR ((triple8 triple7) -> rule2))]
("Erin" "is" "big" "+")
((triple7 triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple8 triple7) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
3
inv-proof
[(((triple7 triple5) -> rule1) OR ((triple8 triple7) -> rule2))]
("Erin" "is" "big" "-")
((triple7 triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple8 triple7) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
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 green.[(triple2)] Anne is young.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Fiona is big.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] @1: Erin is big.[(((triple7 triple5) -> rule1) OR ((triple8 triple7) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Erin is big.
("Erin" "is" "big" "+")
((triple7 triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple8 triple7) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1