Erin is blue. Erin is furry. Erin is smart. Erin is white. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Harry is blue. Harry is furry. Harry is quiet. Harry is not red. Harry is smart. If something is white and red then it is furry.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If something is white and red then it is furry.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Erin is white.
True
1
proof
[(triple4)]
("Erin" "is" "white" "+")
triple4
Fiona is not nice.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "nice" "-")
triple7
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is smart.[(triple3)] Erin is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is not red.[(triple14)] Harry is quiet.[(triple13)] Harry is smart.[(triple15)]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is not red.
("Harry" "is" "red" "-")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple15