Anne is not big. Anne is blue. Anne is quiet. Anne is round. Anne is smart. Bob is big. Bob is quiet. Dave is blue. Dave is quiet. Dave is smart. Erin is green. Erin is smart. Red, smart people are big. If someone is quiet and green then they are smart.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Red, smart people are big.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If someone is quiet and green then they are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
Dave is blue.
True
1
proof
[(triple8)]
("Dave" "is" "blue" "+")
triple8
Anne is not smart.
False
1
inv-proof
[(triple5)]
("Anne" "is" "smart" "-")
triple5
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Bob is big.[(triple6)] Bob is quiet.[(triple7)] Dave is blue.[(triple8)] Dave is quiet.[(triple9)] Dave is smart.[(triple10)] Erin is green.[(triple11)] Erin is smart.[(triple12)]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Dave is smart.
("Dave" "is" "smart" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12