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