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