Bob is cold. Fiona is green. Round things are furry. Furry, cold things are round. Nice, round things are cold. If Bob is cold then Bob is furry. All round things are nice. Nice, round things are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Furry, cold things are round.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Nice, round things are cold.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If Bob is cold then Bob is furry.
((("Bob" "is" "cold" "+")) -> ("Bob" "is" "furry" "+"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Nice, round things are cold.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Bob is furry.
True
2
proof
[(((triple1) -> rule4))]
("Bob" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple1) -> rule4))]
("Bob" "is" "furry" "-")
((triple1) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
True
4
proof
[(((((triple1) -> rule4) triple1) -> rule2))]
("Bob" "is" "round" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not round.
False
4
inv-proof
[(((((triple1) -> rule4) triple1) -> rule2))]
("Bob" "is" "round" "-")
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@2: Fiona is round.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is cold.
Unknown
rconc
[@3: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is cold.[(triple1)] Fiona is green.[(triple2)] @1: Bob is furry.[(((triple1) -> rule4))] @2: Bob is round.[(((((triple1) -> rule4) triple1) -> rule2))] @3: Bob is nice.[(((((((triple1) -> rule4) triple1) -> rule2)) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3