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