Anne is red. Dave is not red. Dave is smart. Erin is blue. Erin is green. Erin is red. Erin is round. Harry is not kind. Harry is quiet. Harry is not red. Harry is round. Harry is smart. If someone is blue and red then they are green. If Erin is kind and Erin is not red then Erin is not green. If someone is blue and not green then they are smart. Kind people are not smart. If someone is smart then they are quiet. If someone is smart and not round then they are quiet. If someone is kind and not red then they are quiet. If someone is round and not kind then they are quiet.
Anne is red.
("Anne" "is" "red" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If Erin is kind and Erin is not red then Erin is not green.
((("Erin" "is" "kind" "+") ("Erin" "is" "red" "~")) -> ("Erin" "is" "green" "-"))
If someone is blue and not green then they are smart.
((("someone" "is" "blue" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "smart" "+"))
Kind people are not smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "-"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If someone is smart and not round then they are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "quiet" "+"))
If someone is kind and not red then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "quiet" "+"))
If someone is round and not kind then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "quiet" "+"))
Erin is blue.
True
1
proof
[(triple4)]
("Erin" "is" "blue" "+")
triple4
Harry is kind.
False
1
inv-proof
[(triple8)]
("Harry" "is" "kind" "+")
triple8
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is red.[(triple1)] Dave is not red.[(triple2)] Dave is smart.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5 OR ((triple4 triple6) -> rule1))] Erin is red.[(triple6)] Erin is round.[(triple7)] Harry is not kind.[(triple8)] Harry is not red.[(triple10)] Harry is quiet.[(triple9 OR ((triple12) -> rule5) OR ((triple11 triple8) -> rule8))] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Dave is quiet.[(((triple3) -> rule5))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Dave is not red.
("Dave" "is" "red" "-")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
((triple4 triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
triple8
Harry is not red.
("Harry" "is" "red" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
((triple12) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple11 triple8) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple3) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1