Anne is blue. Anne is not nice. Anne is quiet. Anne is round. Anne is smart. Anne is young. Bob is not big. Bob is blue. Bob is not nice. Erin is not big. Erin is not blue. Erin is quiet. Erin is round. Erin is smart. Erin is not young. If someone is young then they are smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Erin is not big.
("Erin" "is" "big" "-")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Erin is not blue.
True
1
proof
[(triple11)]
("Erin" "is" "blue" "-")
triple11
Erin is big.
False
1
inv-proof
[(triple10)]
("Erin" "is" "big" "+")
triple10
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1)] Anne is not nice.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple6) -> rule1))] Anne is young.[(triple6)] Bob is blue.[(triple8)] Bob is not big.[(triple7)] Bob is not nice.[(triple9)] Erin is not big.[(triple10)] Erin is not blue.[(triple11)] Erin is not young.[(triple15)] Erin is quiet.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple6) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple8
Bob is not big.
("Bob" "is" "big" "-")
triple7
Bob is not nice.
("Bob" "is" "nice" "-")
triple9
Erin is not big.
("Erin" "is" "big" "-")
triple10
Erin is not blue.
("Erin" "is" "blue" "-")
triple11
Erin is not young.
("Erin" "is" "young" "-")
triple15
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14