Anne is cold. Anne is furry. Anne is round. Anne is young. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Bob is young. Harry is cold. Harry is kind. Harry is quiet. Harry is smart. Harry is young. If Anne is smart and Anne is furry then Anne is quiet. Round, furry things are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Anne is smart and Anne is furry then Anne is quiet.
((("Anne" "is" "smart" "+") ("Anne" "is" "furry" "+")) -> ("Anne" "is" "quiet" "+"))
Round, furry things are smart.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Bob is young.
True
1
proof
[(triple11)]
("Bob" "is" "young" "+")
triple11
Bob is not furry.
False
1
inv-proof
[(triple6)]
("Bob" "is" "furry" "-")
triple6
Anne is smart.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Anne" "is" "smart" "+")
((triple3 triple2) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not smart.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Anne" "is" "smart" "-")
((triple3 triple2) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
True
5
proof
[(((((triple3 triple2) -> rule2) triple2) -> rule1))]
("Anne" "is" "quiet" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is not quiet.
False
5
inv-proof
[(((((triple3 triple2) -> rule2) triple2) -> rule1))]
("Anne" "is" "quiet" "-")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is kind.[(triple7)] Bob is quiet.[(triple8)] Bob is round.[(triple9)] Bob is smart.[(triple10 OR ((triple9 triple6) -> rule2))] Bob is young.[(triple11)] Harry is cold.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Anne is smart.[(((triple3 triple2) -> rule2))] @2: Anne is quiet.[(((((triple3 triple2) -> rule2) triple2) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
Bob is round.
("Bob" "is" "round" "+")
triple9
Bob is smart.
("Bob" "is" "smart" "+")
triple10
((triple9 triple6) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Anne is smart.
("Anne" "is" "smart" "+")
((triple3 triple2) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2