Erin is big. Erin is round. Erin is smart. Erin is young. Harry is not big. Harry is green. Harry is kind. Harry is quiet. Harry is not smart. Harry is young. If Harry is round and Harry is not big then Harry is quiet. If Harry is round then Harry is green. If someone is round and big then they are quiet.
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
If Harry is round and Harry is not big then Harry is quiet.
((("Harry" "is" "round" "+") ("Harry" "is" "big" "~")) -> ("Harry" "is" "quiet" "+"))
If Harry is round then Harry is green.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "green" "+"))
If someone is round and big then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Harry is big.
False
1
inv-proof
[(triple5)]
("Harry" "is" "big" "+")
triple5
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is big.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is not big.[(triple5)] Harry is not smart.[(triple9)] Harry is quiet.[(triple8)] Harry is young.[(triple10)] @1: Erin is quiet.[(((triple2 triple1) -> rule3))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is not big.
("Harry" "is" "big" "-")
triple5
Harry is not smart.
("Harry" "is" "smart" "-")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple2 triple1) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1