Anne is not nice. Anne is red. Anne is not rough. Anne is smart. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Erin is furry. Erin is not quiet. Erin is not rough. Harry is furry. Harry is kind. Harry is rough. Harry is smart. All nice people are not rough. If someone is smart then they are quiet. All smart, rough people are not nice.
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All nice people are not rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
All smart, rough people are not nice.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "-"))
Charlie is furry.
True
1
proof
[(triple5)]
("Charlie" "is" "furry" "+")
triple5
Erin is quiet.
False
1
inv-proof
[(triple11)]
("Erin" "is" "quiet" "+")
triple11
Harry is quiet.
True
2
proof
[(((triple16) -> rule2))]
("Harry" "is" "quiet" "+")
((triple16) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Charlie is nice.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("Charlie" "is" "nice" "+")
((triple9 triple8) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is not nice.[(triple1)] Anne is not rough.[(triple3)] Anne is red.[(triple2)] Anne is smart.[(triple4)] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is smart.[(triple9)] Erin is furry.[(triple10)] Erin is not quiet.[(triple11)] Erin is not rough.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Anne is quiet.[(((triple4) -> rule2))] Charlie is not nice.[(((triple9 triple8) -> rule3))] Charlie is quiet.[(((triple9) -> rule2))] Harry is not nice.[(((triple16 triple15) -> rule3))] Harry is quiet.[(((triple16) -> rule2))]
Anne is not nice.
("Anne" "is" "nice" "-")
triple1
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple11
Erin is not rough.
("Erin" "is" "rough" "-")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple4) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
((triple9 triple8) -> (rule3 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple9) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
((triple16 triple15) -> (rule3 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple16) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1