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