Bob is big. Bob is quiet. Bob is smart. Charlie is kind. Erin is nice. Erin is quiet. Erin is smart. Smart people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Erin is nice.
True
1
proof
[(triple5)]
("Erin" "is" "nice" "+")
triple5
Bob is not big.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule1))]
("Bob" "is" "big" "-")
triple1
((triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Erin is big.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "big" "+")
((triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple7) -> rule1))]
("Erin" "is" "big" "-")
((triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is big.[(triple1 OR ((triple3) -> rule1))] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Charlie is kind.[(triple4)] Erin is nice.[(triple5)] Erin is quiet.[(triple6)] Erin is smart.[(triple7)] @1: Erin is big.[(((triple7) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
((triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1