Anne is not big. Anne is white. Anne is young. Bob is cold. Bob is green. Bob is nice. Bob is white. Bob is young. Charlie is big. Charlie is smart. Gary is big. Gary is cold. Gary is green. Gary is nice. Gary is smart. Gary is young. If someone is white then they are green.
Anne is not big.
("Anne" "is" "big" "-")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is white then they are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Gary is smart.
True
1
proof
[(triple15)]
("Gary" "is" "smart" "+")
triple15
Gary is not big.
False
1
inv-proof
[(triple11)]
("Gary" "is" "big" "-")
triple11
Anne is green.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "green" "+")
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "green" "-")
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is not big.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Bob is cold.[(triple4)] Bob is green.[(triple5 OR ((triple7) -> rule1))] Bob is nice.[(triple6)] Bob is white.[(triple7)] Bob is young.[(triple8)] Charlie is big.[(triple9)] Charlie is smart.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Anne is green.[(((triple2) -> rule1))]
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
((triple7) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
Charlie is big.
("Charlie" "is" "big" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1