Anne is cold. Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Dave is big. Dave is blue. Dave is green. Dave is nice. Gary is blue. Gary is kind. Gary is quiet. If someone is nice then they are cold. All quiet, nice people are cold. If Gary is blue and Gary is quiet then Gary is nice. If Charlie is cold and Charlie is green then Charlie is big. If someone is cold and kind then they are big. If Anne is green then Anne is big.
Anne is cold.
("Anne" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
All quiet, nice people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If Gary is blue and Gary is quiet then Gary is nice.
((("Gary" "is" "blue" "+") ("Gary" "is" "quiet" "+")) -> ("Gary" "is" "nice" "+"))
If Charlie is cold and Charlie is green then Charlie is big.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "big" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Anne is green then Anne is big.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "big" "+"))
Dave is green.
True
1
proof
[(triple8)]
("Dave" "is" "green" "+")
triple8
Dave is not nice.
False
1
inv-proof
[(triple9)]
("Dave" "is" "nice" "-")
triple9
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Charlie is big.[(triple2 OR ((triple3 triple4) -> rule4))] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Gary is blue.[(triple10)] Gary is kind.[(triple11)] Gary is quiet.[(triple12)] @1: Dave is cold.[(((triple9) -> rule1))] Gary is nice.[(((triple10 triple12) -> rule3))] @2: Gary is cold.[(((((triple10 triple12) -> rule3)) -> rule1) OR ((triple12 ((triple10 triple12) -> rule3)) -> rule2))] @3: Gary is big.[(((((((triple10 triple12) -> rule3)) -> rule1) triple11) -> rule5) OR ((((triple12 ((triple10 triple12) -> rule3)) -> rule2) triple11) -> rule5))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
((triple3 triple4) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Dave is cold.
("Dave" "is" "cold" "+")
((triple9) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple10 triple12) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple10 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple12 ((triple10 triple12) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((((triple10 triple12) -> (rule3 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple12 ((triple10 triple12) -> (rule3 % int3))) -> (rule2 % int2)) triple11) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3