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