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