Anne is big. Anne is quiet. Anne is not red. Anne is rough. Anne is smart. Bob is kind. Bob is quiet. Bob is smart. Charlie is not kind. Charlie is rough. Charlie is smart. Gary is big. Gary is green. Gary is red. Gary is not rough. Kind things are red. All red things are not rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
All red things are not rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "-"))
Anne is rough.
True
1
proof
[(triple4)]
("Anne" "is" "rough" "+")
triple4
Gary is not green.
False
1
inv-proof
[(triple13)]
("Gary" "is" "green" "-")
triple13
Bob is red.
True
2
proof
[(((triple6) -> rule1))]
("Bob" "is" "red" "+")
((triple6) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple6) -> rule1))]
("Bob" "is" "red" "-")
((triple6) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not rough.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("Bob" "is" "rough" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("Bob" "is" "rough" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is not red.[(triple3)] Anne is quiet.[(triple2)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Bob is smart.[(triple8)] Charlie is not kind.[(triple9)] Charlie is rough.[(triple10)] Charlie is smart.[(triple11)] Gary is big.[(triple12)] Gary is green.[(triple13)] Gary is not rough.[(triple15 OR ((triple14) -> rule2))] Gary is red.[(triple14)] @1: Bob is red.[(((triple6) -> rule1))] @2: Bob is not rough.[(((((triple6) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is not rough.
("Gary" "is" "rough" "-")
triple15
((triple14) -> (rule2 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1
Gary is red.
("Gary" "is" "red" "+")
triple14
Bob is red.
("Bob" "is" "red" "+")
((triple6) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not rough.
("Bob" "is" "rough" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
int2