Anne is big. Anne is kind. Anne is white. Bob is big. Bob is kind. Bob is round. Bob is white. Erin is big. Erin is not blue. Erin is green. Fiona is big. Fiona is green. Fiona is kind. Fiona is not smart. Fiona is white. If someone is green then they are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is green.
("Erin" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Erin is not blue.
True
1
proof
[(triple9)]
("Erin" "is" "blue" "-")
triple9
Fiona is not kind.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "kind" "-")
triple13
Erin is white.
True
2
proof
[(((triple10) -> rule1))]
("Erin" "is" "white" "+")
((triple10) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple10) -> rule1))]
("Erin" "is" "white" "-")
((triple10) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3)] Bob is big.[(triple4)] Bob is kind.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)] Erin is big.[(triple8)] Erin is green.[(triple10)] Erin is not blue.[(triple9)] Fiona is big.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is not smart.[(triple14)] Fiona is white.[(triple15 OR ((triple12) -> rule1))] @1: Erin is white.[(((triple10) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is not blue.
("Erin" "is" "blue" "-")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
((triple12) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple10) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1