Anne is big. Anne is not cold. Anne is green. Anne is kind. Anne is smart. Erin is cold. Erin is green. Erin is kind. Erin is smart. Erin is white. Gary is blue. Gary is green. Gary is not kind. Harry is not kind. Harry is white. If Anne is not kind then Anne is not smart. If Gary is blue then Gary is not big. If someone is smart and kind then they are white. If someone is green and not big then they are cold. If Gary is not big then Gary is not white. If Harry is cold then Harry is smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is white.
("Harry" "is" "white" "+")
If Anne is not kind then Anne is not smart.
((("Anne" "is" "kind" "~")) -> ("Anne" "is" "smart" "-"))
If Gary is blue then Gary is not big.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "big" "-"))
If someone is smart and kind then they are white.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is green and not big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "cold" "+"))
If Gary is not big then Gary is not white.
((("Gary" "is" "big" "~")) -> ("Gary" "is" "white" "-"))
If Harry is cold then Harry is smart.
((("Harry" "is" "cold" "+")) -> ("Harry" "is" "smart" "+"))
Anne is green.
True
1
proof
[(triple3)]
("Anne" "is" "green" "+")
triple3
Harry is kind.
False
1
inv-proof
[(triple14)]
("Harry" "is" "kind" "+")
triple14
Anne is white.
True
3
proof
[(((triple5 triple4) -> rule3))]
("Anne" "is" "white" "+")
((triple5 triple4) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
3
inv-proof
[(((triple5 triple4) -> rule3))]
("Anne" "is" "white" "-")
((triple5 triple4) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Gary is cold.
True
4
proof
[(((triple12 ((triple11) -> rule2)) -> rule4))]
("Gary" "is" "cold" "+")
((triple12 ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not big.
("Gary" "is" "big" "-")
int2
Gary is white.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule5))]
("Gary" "is" "white" "+")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is not big.
("Gary" "is" "big" "-")
int2
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is smart.
Unknown
rconc
[@2: Harry is smart.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Harry" "is" "smart" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not cold.[(triple2)] Anne is smart.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10 OR ((triple9 triple8) -> rule3))] Gary is blue.[(triple11)] Gary is green.[(triple12)] Gary is not kind.[(triple13)] Harry is not kind.[(triple14)] Harry is white.[(triple15)] @1: Anne is white.[(((triple5 triple4) -> rule3))] Gary is not big.[(((triple11) -> rule2))] @2: Gary is cold.[(((triple12 ((triple11) -> rule2)) -> rule4))] Gary is not white.[(((((triple11) -> rule2)) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
((triple9 triple8) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is not kind.
("Gary" "is" "kind" "-")
triple13
Harry is not kind.
("Harry" "is" "kind" "-")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Anne is white.
("Anne" "is" "white" "+")
((triple5 triple4) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Gary is not big.
("Gary" "is" "big" "-")
((triple11) -> (rule2 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple12 ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not big.
("Gary" "is" "big" "-")
int2
Gary is not white.
("Gary" "is" "white" "-")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is not big.
("Gary" "is" "big" "-")
int2