Anne is white. Gary is nice. Cold, kind people are white. If someone is white and cold then they are green. White people are kind. Kind people are big. All big people are nice. If someone is green and white then they are round. All cold, white people are green. If Anne is white then Anne is big.
Anne is white.
("Anne" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Cold, kind people are white.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is white and cold then they are green.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and white then they are round.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All cold, white people are green.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Anne is white then Anne is big.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "big" "+"))
Anne is white.
True
1
proof
[(triple1)]
("Anne" "is" "white" "+")
triple1
Anne is not white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Anne is kind.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not kind.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "kind" "-")
((triple1) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is round.
Unknown
rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is white.[(triple1)] Gary is nice.[(triple2)] @1: Anne is big.[(((triple1) -> rule8) OR ((((triple1) -> rule3)) -> rule4))] Anne is kind.[(((triple1) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule8)) -> rule5) OR ((((((triple1) -> rule3)) -> rule4)) -> rule5))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple2
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3