Anne is cold. Anne is green. Anne is rough. Bob is blue. Bob is cold. Charlie is blue. Charlie is round. Green things are rough. If Anne is green then Anne is young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If Anne is green then Anne is young.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "young" "+"))
Charlie is blue.
True
1
proof
[(triple6)]
("Charlie" "is" "blue" "+")
triple6
Charlie is not blue.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "blue" "-")
triple6
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3 OR ((triple2) -> rule1))] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Charlie is blue.[(triple6)] Charlie is round.[(triple7)] @1: Anne is young.[(((triple2) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Anne is young.
("Anne" "is" "young" "+")
((triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1