Anne is big. Anne is green. Anne is nice. Anne is red. Anne is not rough. Anne is smart. Anne is not white. Bob is rough. Bob is white. Gary is big. Gary is green. Gary is red. Gary is rough. Gary is smart. Gary is white. All big people are smart. All red, rough people are smart. White people are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
All big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All red, rough people are smart.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
White people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Gary is smart.
True
1
proof
[(triple14 OR ((triple10) -> rule1) OR ((triple12 triple13) -> rule2))]
("Gary" "is" "smart" "+")
triple14
((triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple12 triple13) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Anne is rough.
False
1
inv-proof
[(triple5)]
("Anne" "is" "rough" "+")
triple5
Bob is nice.
True
2
proof
[(((triple9) -> rule3))]
("Bob" "is" "nice" "+")
((triple9) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple9) -> rule3))]
("Bob" "is" "nice" "-")
((triple9) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not rough.[(triple5)] Anne is not white.[(triple7)] Anne is red.[(triple4)] Anne is smart.[(triple6 OR ((triple1) -> rule1))] Bob is rough.[(triple8)] Bob is white.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14 OR ((triple10) -> rule1) OR ((triple12 triple13) -> rule2))] Gary is white.[(triple15)] @1: Bob is nice.[(((triple9) -> rule3))] Gary is nice.[(((triple15) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not rough.
("Anne" "is" "rough" "-")
triple5
Anne is not white.
("Anne" "is" "white" "-")
triple7
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple6
((triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
((triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple12 triple13) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
Bob is nice.
("Bob" "is" "nice" "+")
((triple9) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple15) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1