Bob is green. Charlie is white. Erin is cold. Gary is furry. If something is white then it is green. If something is smart then it is not young. If Bob is white and Bob is cold then Bob is blue.
Bob is green.
("Bob" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If something is white then it is green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is smart then it is not young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "-"))
If Bob is white and Bob is cold then Bob is blue.
((("Bob" "is" "white" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "blue" "+"))
Gary is furry.
True
1
proof
[(triple4)]
("Gary" "is" "furry" "+")
triple4
Charlie is not white.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "white" "-")
triple2
Charlie is green.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "green" "+")
((triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("Charlie" "is" "green" "-")
((triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is green.[(triple1)] Charlie is white.[(triple2)] Erin is cold.[(triple3)] Gary is furry.[(triple4)] @1: Charlie is green.[(((triple2) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1