Anne is big. Anne is not cold. Anne is nice. Anne is rough. Anne is not round. Anne is not white. Bob is cold. Bob is smart. Bob is white. Gary is big. Gary is not cold. Gary is smart. Big things are smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is not white.
("Anne" "is" "white" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Bob is white.
True
1
proof
[(triple9)]
("Bob" "is" "white" "+")
triple9
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is smart.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not smart.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is big.[(triple1)] Anne is nice.[(triple3)] Anne is not cold.[(triple2)] Anne is not round.[(triple5)] Anne is not white.[(triple6)] Anne is rough.[(triple4)] Bob is cold.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Gary is big.[(triple10)] Gary is not cold.[(triple11)] Gary is smart.[(triple12 OR ((triple10) -> rule1))] @1: Anne is smart.[(((triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is not round.
("Anne" "is" "round" "-")
triple5
Anne is not white.
("Anne" "is" "white" "-")
triple6
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is not cold.
("Gary" "is" "cold" "-")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
((triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1