Bob is not green. Bob is nice. Charlie is not green. Charlie is nice. Charlie is quiet. Charlie is red. Fiona is white. Red things are cold. Cold things are furry.
Bob is not green.
("Bob" "is" "green" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Fiona is white.
True
1
proof
[(triple7)]
("Fiona" "is" "white" "+")
triple7
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Charlie is cold.
True
2
proof
[(((triple6) -> rule1))]
("Charlie" "is" "cold" "+")
((triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple6) -> rule1))]
("Charlie" "is" "cold" "-")
((triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("Charlie" "is" "furry" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not furry.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("Charlie" "is" "furry" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Bob is not furry.
Unknown
inv-rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "furry" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is nice.[(triple2)] Bob is not green.[(triple1)] Charlie is nice.[(triple4)] Charlie is not green.[(triple3)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Fiona is white.[(triple7)] @1: Charlie is cold.[(((triple6) -> rule1))] @2: Charlie is furry.[(((((triple6) -> rule1)) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not green.
("Bob" "is" "green" "-")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is not green.
("Charlie" "is" "green" "-")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2