Bob is big. Bob is blue. Erin is big. Erin is green. Erin is nice. Erin is not quiet. Erin is young. If someone is quiet and not young then they are nice. If Bob is quiet then Bob is blue. If Erin is not nice then Erin is big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is young.
("Erin" "is" "young" "+")
If someone is quiet and not young then they are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "nice" "+"))
If Bob is quiet then Bob is blue.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "blue" "+"))
If Erin is not nice then Erin is big.
((("Erin" "is" "nice" "~")) -> ("Erin" "is" "big" "+"))
Erin is young.
True
1
proof
[(triple7)]
("Erin" "is" "young" "+")
triple7
Erin is not green.
False
1
inv-proof
[(triple4)]
("Erin" "is" "green" "-")
triple4
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is not quiet.[(triple6)] Erin is young.[(triple7)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7