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