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