Anne is blue. Anne is green. Anne is round. Anne is not smart. Erin is blue. Erin is furry. Erin is not quiet. Erin is round. Erin is smart. Fiona is not blue. Fiona is furry. Fiona is green. Harry is blue. Harry is furry. Harry is green. Harry is nice. All smart, quiet people are furry. If someone is blue then they are furry. If Erin is quiet then Erin is blue. If someone is quiet and blue then they are smart. All quiet, green people are smart. If someone is green and smart then they are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All smart, quiet people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue then they are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Erin is quiet then Erin is blue.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "blue" "+"))
If someone is quiet and blue then they are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
All quiet, green people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is green and smart then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple13)]
("Harry" "is" "blue" "+")
triple13
Harry is not green.
False
1
inv-proof
[(triple15)]
("Harry" "is" "green" "-")
triple15
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "smart" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is not smart.[(triple4)] Anne is round.[(triple3)] Erin is blue.[(triple5)] Erin is furry.[(triple6 OR ((triple5) -> rule2))] Erin is not quiet.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is not blue.[(triple10)] Harry is blue.[(triple13)] Harry is furry.[(triple14 OR ((triple13) -> rule2))] Harry is green.[(triple15)] Harry is nice.[(triple16)] @1: Anne is furry.[(((triple1) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not smart.
("Anne" "is" "smart" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
((triple5) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is furry.
("Harry" "is" "furry" "+")
triple14
((triple13) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is nice.
("Harry" "is" "nice" "+")
triple16
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1