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