Erin is furry. Erin is not nice. Erin is not red. Erin is round. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is not red. Fiona is not round. Gary is big. Gary is kind. Gary is not quiet. Gary is red. Furry, round things are not red. If Gary is big and Gary is round then Gary is red. If something is red and not nice then it is kind. If Gary is nice and Gary is big then Gary is kind. Red things are not round. Round things are quiet. If Erin is red then Erin is quiet. If Fiona is red and Fiona is not kind then Fiona is not big.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is not red.
("Erin" "is" "red" "-")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is red.
("Gary" "is" "red" "+")
Furry, round things are not red.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "-"))
If Gary is big and Gary is round then Gary is red.
((("Gary" "is" "big" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "red" "+"))
If something is red and not nice then it is kind.
((("something" "is" "red" "+") ("something" "is" "nice" "~")) -> ("something" "is" "kind" "+"))
If Gary is nice and Gary is big then Gary is kind.
((("Gary" "is" "nice" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "kind" "+"))
Red things are not round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "-"))
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If Erin is red then Erin is quiet.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "quiet" "+"))
If Fiona is red and Fiona is not kind then Fiona is not big.
((("Fiona" "is" "red" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "big" "-"))
Erin is furry.
True
1
proof
[(triple1)]
("Erin" "is" "furry" "+")
triple1
Fiona is not furry.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "furry" "-")
triple6
Gary is not round.
True
2
proof
[(((triple15) -> rule5))]
("Gary" "is" "round" "-")
((triple15) -> (rule5 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is round.
False
2
inv-proof
[(((triple15) -> rule5))]
("Gary" "is" "round" "+")
((triple15) -> (rule5 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is furry.[(triple1)] Erin is not nice.[(triple2)] Erin is not red.[(triple3 OR ((triple1 triple4) -> rule1))] Erin is round.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is not red.[(triple10)] Fiona is not round.[(triple11)] Fiona is quiet.[(triple9)] Gary is big.[(triple12)] Gary is kind.[(triple13)] Gary is not quiet.[(triple14)] Gary is red.[(triple15)] @1: Erin is quiet.[(((triple4) -> rule6))] Gary is not round.[(((triple15) -> rule5))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is not nice.
("Erin" "is" "nice" "-")
triple2
Erin is not red.
("Erin" "is" "red" "-")
triple3
((triple1 triple4) -> (rule1 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not red.
("Fiona" "is" "red" "-")
triple10
Fiona is not round.
("Fiona" "is" "round" "-")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Gary is not round.
("Gary" "is" "round" "-")
((triple15) -> (rule5 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1