Bob is green. Erin is green. Fiona is kind. If Erin is green then Erin is cold. If someone is cold and green then they are kind.
Bob is green.
("Bob" "is" "green" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If Erin is green then Erin is cold.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "cold" "+"))
If someone is cold and green then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "kind" "-")
triple3
Erin is cold.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
True
4
proof
[(((((triple2) -> rule1) triple2) -> rule2))]
("Erin" "is" "kind" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not kind.
False
4
inv-proof
[(((((triple2) -> rule1) triple2) -> rule2))]
("Erin" "is" "kind" "-")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Bob is green.[(triple1)] Erin is green.[(triple2)] Fiona is kind.[(triple3)] @1: Erin is cold.[(((triple2) -> rule1))] @2: Erin is kind.[(((((triple2) -> rule1) triple2) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2