Anne is quiet. Anne is red. Bob is big. Bob is cold. Bob is red. Bob is young. Erin is quiet. Erin is red. Erin is young. Gary is quiet. Gary is red. Gary is young. All young things are smart.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
All young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Erin is quiet.
True
1
proof
[(triple7)]
("Erin" "is" "quiet" "+")
triple7
Gary is not red.
False
1
inv-proof
[(triple11)]
("Gary" "is" "red" "-")
triple11
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Bob is big.[(triple3)] Bob is cold.[(triple4)] Bob is red.[(triple5)] Bob is young.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Erin is young.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is young.[(triple12)] @1: Bob is smart.[(((triple6) -> rule1))] Erin is smart.[(((triple9) -> rule1))] Gary is smart.[(((triple12) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Bob is smart.
("Bob" "is" "smart" "+")
((triple6) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple12) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1