Anne is cold. Anne is not kind. Anne is not round. Bob is cold. Bob is furry. Bob is kind. Bob is rough. Fiona is not big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. All round things are white. Round, kind things are white. All white things are big. All white, big things are not kind. If something is round and not cold then it is rough. If Anne is cold then Anne is big. If Anne is big then Anne is rough. If something is rough then it is furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is not round.
("Anne" "is" "round" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Round, kind things are white.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
All white things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
All white, big things are not kind.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "-"))
If something is round and not cold then it is rough.
((("something" "is" "round" "+") ("something" "is" "cold" "~")) -> ("something" "is" "rough" "+"))
If Anne is cold then Anne is big.
((("Anne" "is" "cold" "+")) -> ("Anne" "is" "big" "+"))
If Anne is big then Anne is rough.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "rough" "+"))
If something is rough then it is furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Anne is big.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "big" "+")
((triple1) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple1) -> rule6))]
("Anne" "is" "big" "-")
((triple1) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
True
3
proof
[(((((triple1) -> rule6)) -> rule7))]
("Anne" "is" "rough" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is not rough.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule7))]
("Anne" "is" "rough" "-")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "+")
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is cold.[(triple1)] Anne is not kind.[(triple2)] Anne is not round.[(triple3)] Bob is cold.[(triple4)] Bob is furry.[(triple5 OR ((triple7) -> rule8))] Bob is kind.[(triple6)] Bob is rough.[(triple7)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10 OR ((triple12) -> rule8))] Fiona is kind.[(triple11)] Fiona is not big.[(triple8)] Fiona is rough.[(triple12)] @1: Anne is big.[(((triple1) -> rule6))] @2: Anne is rough.[(((((triple1) -> rule6)) -> rule7))] @3: Anne is furry.[(((((((triple1) -> rule6)) -> rule7)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is not round.
("Anne" "is" "round" "-")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
((triple7) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
((triple12) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is not big.
("Fiona" "is" "big" "-")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3