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