Dave is cold. Dave is kind. Dave is round. Dave is smart. Dave is young. Harry is not cold. Harry is kind. Harry is not round. Harry is smart. Harry is young. If someone is smart then they are furry.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is smart then they are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Dave is round.
True
1
proof
[(triple3)]
("Dave" "is" "round" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Dave is furry.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "furry" "-")
((triple9) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Harry is kind.[(triple7)] Harry is not cold.[(triple6)] Harry is not round.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Dave is furry.[(((triple4) -> rule1))] Harry is furry.[(((triple9) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is not cold.
("Harry" "is" "cold" "-")
triple6
Harry is not round.
("Harry" "is" "round" "-")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is furry.
("Dave" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple9) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1