Erin is not round. Fiona is furry. Furry, big things are not white. If something is kind and furry then it is green. If something is kind and not furry then it is green. If something is white then it is cold. All furry things are big. If Fiona is cold then Fiona is white.
Erin is not round.
("Erin" "is" "round" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Furry, big things are not white.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "-"))
If something is kind and furry then it is green.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If something is kind and not furry then it is green.
((("something" "is" "kind" "+") ("something" "is" "furry" "~")) -> ("something" "is" "green" "+"))
If something is white then it is cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If Fiona is cold then Fiona is white.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "white" "+"))
Erin is not round.
True
1
proof
[(triple1)]
("Erin" "is" "round" "-")
triple1
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Fiona is big.
True
2
proof
[(((triple2) -> rule5))]
("Fiona" "is" "big" "+")
((triple2) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple2) -> rule5))]
("Fiona" "is" "big" "-")
((triple2) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "green" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Erin is not round.[(triple1)] Fiona is furry.[(triple2)] @1: Fiona is big.[(((triple2) -> rule5))] @2: Fiona is not white.[(((triple2 ((triple2) -> rule5)) -> rule1))]
Erin is not round.
("Erin" "is" "round" "-")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
((triple2 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2