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