Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is not round. Erin is white. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is not white. Gary is furry. Gary is not green. Gary is not quiet. Gary is round. If someone is nice then they are quiet. If Gary is furry then Gary is not cold. If someone is green and not quiet then they are round.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is round.
("Gary" "is" "round" "+")
If someone is nice then they are quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is furry then Gary is not cold.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "cold" "-"))
If someone is green and not quiet then they are round.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "round" "+"))
Erin is nice.
True
1
proof
[(triple4)]
("Erin" "is" "nice" "+")
triple4
Erin is not cold.
False
1
inv-proof
[(triple1)]
("Erin" "is" "cold" "-")
triple1
Gary is not cold.
True
2
proof
[(((triple13) -> rule2))]
("Gary" "is" "cold" "-")
((triple13) -> (rule2 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is cold.
False
2
inv-proof
[(((triple13) -> rule2))]
("Gary" "is" "cold" "+")
((triple13) -> (rule2 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is not round.[(triple6)] Erin is quiet.[(triple5 OR ((triple4) -> rule1))] Erin is white.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is not white.[(triple12)] Fiona is quiet.[(triple10 OR ((triple9) -> rule1))] Fiona is round.[(triple11)] Gary is furry.[(triple13)] Gary is not green.[(triple14)] Gary is not quiet.[(triple15)] Gary is round.[(triple16)] @1: Gary is not cold.[(((triple13) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is not round.
("Erin" "is" "round" "-")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
((triple4) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not white.
("Fiona" "is" "white" "-")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
((triple9) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is not green.
("Gary" "is" "green" "-")
triple14
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
Gary is not cold.
("Gary" "is" "cold" "-")
((triple13) -> (rule2 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1