Bob is green. Bob is not white. Erin is not big. Erin is green. Erin is not kind. Erin is nice. Erin is quiet. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. Gary is not green. Gary is not kind. Gary is quiet. Gary is white. If Bob is quiet then Bob is not big. Green, kind things are not red. Kind things are red. If something is kind then it is big. All red, white things are not big. Kind things are big. If Erin is green then Erin is red. If something is red and white then it is green.
Bob is green.
("Bob" "is" "green" "+")
Bob is not white.
("Bob" "is" "white" "-")
Erin is not big.
("Erin" "is" "big" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
If Bob is quiet then Bob is not big.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "big" "-"))
Green, kind things are not red.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "-"))
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is kind then it is big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
All red, white things are not big.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "-"))
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If Erin is green then Erin is red.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "red" "+"))
If something is red and white then it is green.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Fiona is nice.
True
1
proof
[(triple9)]
("Fiona" "is" "nice" "+")
triple9
Erin is kind.
False
1
inv-proof
[(triple5)]
("Erin" "is" "kind" "+")
triple5
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is green.[(triple1)] Bob is not white.[(triple2)] Erin is green.[(triple4)] Erin is nice.[(triple6)] Erin is not big.[(triple3)] Erin is not kind.[(triple5)] Erin is quiet.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is white.[(triple11)] Gary is not green.[(triple12)] Gary is not kind.[(triple13)] Gary is quiet.[(triple14)] Gary is white.[(triple15)] @1: Erin is red.[(((triple4) -> rule7))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is not big.
("Erin" "is" "big" "-")
triple3
Erin is not kind.
("Erin" "is" "kind" "-")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is not green.
("Gary" "is" "green" "-")
triple12
Gary is not kind.
("Gary" "is" "kind" "-")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Erin is red.
("Erin" "is" "red" "+")
((triple4) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1