Bob is big. Bob is blue. Bob is not kind. Bob is quiet. Erin is big. Erin is not blue. Erin is kind. All big things are smart. All smart, rough things are white. Blue, rough things are not white.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is kind.
("Erin" "is" "kind" "+")
All big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
All smart, rough things are white.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Blue, rough things are not white.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "-"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Bob is kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Bob is smart.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "smart" "-")
((triple5) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "white" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "white" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is not kind.[(triple3)] Bob is quiet.[(triple4)] Erin is big.[(triple5)] Erin is kind.[(triple7)] Erin is not blue.[(triple6)] @1: Bob is smart.[(((triple1) -> rule1))] Erin is smart.[(((triple5) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is not blue.
("Erin" "is" "blue" "-")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple5) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1