Bob is kind. Bob is not red. Charlie is not red. Dave is blue. Dave is furry. Dave is kind. Dave is rough. Dave is young. Gary is big. Gary is kind. If someone is big then they are red. Kind, young people are big.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not red.
("Bob" "is" "red" "-")
Charlie is not red.
("Charlie" "is" "red" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is big then they are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Kind, young people are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Charlie is not red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "-")
triple3
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Gary is red.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "red" "+")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "red" "-")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Dave is red.
True
4
proof
[(((((triple6 triple8) -> rule2)) -> rule1))]
("Dave" "is" "red" "+")
((((triple6 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not red.
False
4
inv-proof
[(((((triple6 triple8) -> rule2)) -> rule1))]
("Dave" "is" "red" "-")
((((triple6 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is kind.[(triple1)] Bob is not red.[(triple2)] Charlie is not red.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is kind.[(triple6)] Dave is rough.[(triple7)] Dave is young.[(triple8)] Gary is big.[(triple9)] Gary is kind.[(triple10)] @1: Dave is big.[(((triple6 triple8) -> rule2))] Gary is red.[(((triple9) -> rule1))] @2: Dave is red.[(((((triple6 triple8) -> rule2)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple2
Charlie is not red.
("Charlie" "is" "red" "-")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple8) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple6 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2