Bob is furry. Bob is green. Bob is not kind. Bob is not rough. Bob is not round. Bob is smart. Bob is young. Dave is furry. Dave is green. Dave is not kind. Dave is rough. Dave is smart. Dave is not young. Harry is not kind. Harry is round. All round things are young.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is not round.
("Bob" "is" "round" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not young.
("Dave" "is" "young" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is round.
("Harry" "is" "round" "+")
All round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Bob is not round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "-")
triple5
Dave is not rough.
False
1
inv-proof
[(triple11)]
("Dave" "is" "rough" "-")
triple11
Harry is young.
True
2
proof
[(((triple15) -> rule1))]
("Harry" "is" "young" "+")
((triple15) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple15) -> rule1))]
("Harry" "is" "young" "-")
((triple15) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is not kind.[(triple3)] Bob is not rough.[(triple4)] Bob is not round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is not kind.[(triple10)] Dave is not young.[(triple13)] Dave is rough.[(triple11)] Dave is smart.[(triple12)] Harry is not kind.[(triple14)] Harry is round.[(triple15)] @1: Harry is young.[(((triple15) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple4
Bob is not round.
("Bob" "is" "round" "-")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is not kind.
("Dave" "is" "kind" "-")
triple10
Dave is not young.
("Dave" "is" "young" "-")
triple13
Dave is rough.
("Dave" "is" "rough" "+")
triple11
Dave is smart.
("Dave" "is" "smart" "+")
triple12
Harry is not kind.
("Harry" "is" "kind" "-")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
((triple15) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1