Charlie is not kind. Charlie is nice. Charlie is quiet. Charlie is not smart. Charlie is not white. Dave is not nice. Erin is big. Erin is kind. Erin is quiet. Erin is not white. Harry is cold. Harry is nice. If Charlie is kind then Charlie is cold. If Charlie is white then Charlie is big. All nice, white people are cold. If someone is quiet then they are nice. White, big people are kind. If Dave is quiet then Dave is not big.
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is not nice.
("Dave" "is" "nice" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not white.
("Erin" "is" "white" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If Charlie is kind then Charlie is cold.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "cold" "+"))
If Charlie is white then Charlie is big.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "big" "+"))
All nice, white people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is quiet then they are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
White, big people are kind.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If Dave is quiet then Dave is not big.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "big" "-"))
Charlie is not smart.
True
1
proof
[(triple4)]
("Charlie" "is" "smart" "-")
triple4
Erin is not quiet.
False
1
inv-proof
[(triple9)]
("Erin" "is" "quiet" "-")
triple9
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Charlie is nice.[(triple2 OR ((triple3) -> rule4))] Charlie is not kind.[(triple1)] Charlie is not smart.[(triple4)] Charlie is not white.[(triple5)] Charlie is quiet.[(triple3)] Dave is not nice.[(triple6)] Erin is big.[(triple7)] Erin is kind.[(triple8)] Erin is not white.[(triple10)] Erin is quiet.[(triple9)] Harry is cold.[(triple11)] Harry is nice.[(triple12)] @1: Erin is nice.[(((triple9) -> rule4))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
((triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple1
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple4
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Dave is not nice.
("Dave" "is" "nice" "-")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is not white.
("Erin" "is" "white" "-")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Erin is nice.
("Erin" "is" "nice" "+")
((triple9) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1