Anne is big. Anne is green. Bob is big. Bob is cold. Bob is green. Gary is rough. Gary is not smart. Harry is not green. Harry is not rough. Harry is smart. All green things are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is smart.
("Harry" "is" "smart" "+")
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Harry is smart.
True
1
proof
[(triple10)]
("Harry" "is" "smart" "+")
triple10
Bob is not big.
False
1
inv-proof
[(triple3)]
("Bob" "is" "big" "-")
triple3
Anne is rough.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "rough" "-")
((triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Bob is big.[(triple3)] Bob is cold.[(triple4)] Bob is green.[(triple5)] Gary is not smart.[(triple7)] Gary is rough.[(triple6)] Harry is not green.[(triple8)] Harry is not rough.[(triple9)] Harry is smart.[(triple10)] @1: Anne is rough.[(((triple2) -> rule1))] Bob is rough.[(((triple5) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Gary is not smart.
("Gary" "is" "smart" "-")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is not green.
("Harry" "is" "green" "-")
triple8
Harry is not rough.
("Harry" "is" "rough" "-")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1