Bob is not round. Charlie is not nice. Erin is smart. Cold things are not green. If something is smart then it is cold.
Bob is not round.
("Bob" "is" "round" "-")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Cold things are not green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "-"))
If something is smart then it is cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Erin is smart.
True
1
proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Charlie is nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Erin is cold.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is not round.[(triple1)] Charlie is not nice.[(triple2)] Erin is smart.[(triple3)] @1: Erin is cold.[(((triple3) -> rule2))] @2: Erin is not green.[(((((triple3) -> rule2)) -> rule1))]
Bob is not round.
("Bob" "is" "round" "-")
triple1
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not green.
("Erin" "is" "green" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2