Bob is cold. Bob is furry. Dave is big. Dave is furry. Dave is red. Dave is rough. Dave is young. Erin is not big. Erin is furry. Erin is nice. Erin is rough. Erin is young. Harry is not furry. Harry is rough. Harry is young. If something is furry then it is rough. If Erin is rough then Erin is young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is furry then it is rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If Erin is rough then Erin is young.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "young" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple15)]
("Harry" "is" "young" "-")
triple15
Bob is rough.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "rough" "-")
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6 OR ((triple4) -> rule1))] Dave is young.[(triple7)] Erin is furry.[(triple9)] Erin is nice.[(triple10)] Erin is not big.[(triple8)] Erin is rough.[(triple11 OR ((triple9) -> rule1))] Erin is young.[(triple12 OR ((triple11) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Harry is not furry.[(triple13)] Harry is rough.[(triple14)] Harry is young.[(triple15)] @1: Bob is rough.[(((triple2) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
((triple4) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is not big.
("Erin" "is" "big" "-")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((triple9) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple12
((triple11) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Harry is not furry.
("Harry" "is" "furry" "-")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1