Erin is furry. Fiona is blue. Fiona is quiet. If Fiona is kind and Fiona is furry then Fiona is big. All quiet things are furry. All kind things are blue.
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Fiona is kind and Fiona is furry then Fiona is big.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "big" "+"))
All quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Erin is not furry.
False
1
inv-proof
[(triple1)]
("Erin" "is" "furry" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "furry" "-")
((triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "blue" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is furry.[(triple1)] Fiona is blue.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is furry.[(((triple3) -> rule2))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1