Bob is big. Bob is nice. Bob is rough. Erin is big. Gary is big. Gary is smart. Harry is blue. Harry is nice. Harry is white. Harry is young. If Harry is nice then Harry is rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is nice then Harry is rough.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "rough" "+"))
Gary is big.
True
1
proof
[(triple5)]
("Gary" "is" "big" "+")
triple5
Gary is not smart.
False
1
inv-proof
[(triple6)]
("Gary" "is" "smart" "-")
triple6
Harry is rough.
True
2
proof
[(((triple8) -> rule1))]
("Harry" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple8) -> rule1))]
("Harry" "is" "rough" "-")
((triple8) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is rough.[(triple3)] Erin is big.[(triple4)] Gary is big.[(triple5)] Gary is smart.[(triple6)] Harry is blue.[(triple7)] Harry is nice.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Harry is rough.[(((triple8) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1