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