Erin is green. Erin is smart. Erin is white. Fiona is red. Harry is kind. Harry is quiet. Harry is red. If Harry is not green and Harry is not white then Harry is not smart. If Harry is green and Harry is not big then Harry is smart. If Erin is green and Erin is not kind then Erin is quiet. If Harry is not white and Harry is not big then Harry is kind. If Harry is quiet then Harry is kind. White people are quiet.
Erin is green.
("Erin" "is" "green" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
If Harry is not green and Harry is not white then Harry is not smart.
((("Harry" "is" "green" "~") ("Harry" "is" "white" "~")) -> ("Harry" "is" "smart" "-"))
If Harry is green and Harry is not big then Harry is smart.
((("Harry" "is" "green" "+") ("Harry" "is" "big" "~")) -> ("Harry" "is" "smart" "+"))
If Erin is green and Erin is not kind then Erin is quiet.
((("Erin" "is" "green" "+") ("Erin" "is" "kind" "~")) -> ("Erin" "is" "quiet" "+"))
If Harry is not white and Harry is not big then Harry is kind.
((("Harry" "is" "white" "~") ("Harry" "is" "big" "~")) -> ("Harry" "is" "kind" "+"))
If Harry is quiet then Harry is kind.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "kind" "+"))
White people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Erin is white.
True
1
proof
[(triple3)]
("Erin" "is" "white" "+")
triple3
Harry is not red.
False
1
inv-proof
[(triple7)]
("Harry" "is" "red" "-")
triple7
Erin is quiet.
True
2
proof
[(((triple3) -> rule6))]
("Erin" "is" "quiet" "+")
((triple3) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple3) -> rule6))]
("Erin" "is" "quiet" "-")
((triple3) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "smart" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Erin is green.[(triple1)] Erin is smart.[(triple2)] Erin is white.[(triple3)] Fiona is red.[(triple4)] Harry is kind.[(triple5 OR ((triple6) -> rule5))] Harry is quiet.[(triple6)] Harry is red.[(triple7)] @1: Erin is quiet.[(((triple3) -> rule6))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
((triple6) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple3) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1