Anne is blue. Anne is furry. Anne is kind. Anne is rough. Anne is smart. Erin is not blue. Erin is not rough. Erin is smart. Gary is blue. Gary is round. Gary is smart. Gary is young. Harry is not blue. Harry is kind. Harry is round. Harry is smart. If Harry is furry and Harry is young then Harry is not smart. If someone is rough then they are not round. If someone is blue and young then they are round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is furry and Harry is young then Harry is not smart.
((("Harry" "is" "furry" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "smart" "-"))
If someone is rough then they are not round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
If someone is blue and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Gary is round.
True
1
proof
[(triple10 OR ((triple9 triple12) -> rule3))]
("Gary" "is" "round" "+")
triple10
((triple9 triple12) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is not smart.
False
1
inv-proof
[(triple5)]
("Anne" "is" "smart" "-")
triple5
Anne is not round.
True
2
proof
[(((triple4) -> rule2))]
("Anne" "is" "round" "-")
((triple4) -> (rule2 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is round.
False
2
inv-proof
[(((triple4) -> rule2))]
("Anne" "is" "round" "+")
((triple4) -> (rule2 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "round" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Erin is not blue.[(triple6)] Erin is not rough.[(triple7)] Erin is smart.[(triple8)] Gary is blue.[(triple9)] Gary is round.[(triple10 OR ((triple9 triple12) -> rule3))] Gary is smart.[(triple11)] Gary is young.[(triple12)] Harry is kind.[(triple14)] Harry is not blue.[(triple13)] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Anne is not round.[(((triple4) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Erin is not blue.
("Erin" "is" "blue" "-")
triple6
Erin is not rough.
("Erin" "is" "rough" "-")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
((triple9 triple12) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is not blue.
("Harry" "is" "blue" "-")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Anne is not round.
("Anne" "is" "round" "-")
((triple4) -> (rule2 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1