Bob is not red. Bob is not rough. Bob is young. Dave is green. Dave is quiet. Dave is red. Dave is rough. Dave is young. Fiona is furry. Fiona is green. Fiona is not quiet. Fiona is rough. Gary is furry. Gary is green. Gary is red. Gary is young. If Bob is furry then Bob is not rough. All kind people are furry. If Dave is green then Dave is kind. Kind people are red. All furry people are young. If someone is green and young then they are kind.
Bob is not red.
("Bob" "is" "red" "-")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is young.
("Bob" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If Bob is furry then Bob is not rough.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "rough" "-"))
All kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If Dave is green then Dave is kind.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "kind" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All furry people are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Dave is red.
True
1
proof
[(triple6 OR ((((triple4) -> rule3)) -> rule4) OR ((((triple4 triple8) -> rule6)) -> rule4))]
("Dave" "is" "red" "+")
triple6
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple4 triple8) -> (rule6 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fiona is not green.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "green" "-")
triple10
Fiona is young.
True
2
proof
[(((triple9) -> rule5))]
("Fiona" "is" "young" "+")
((triple9) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Dave is not kind.
False
2
inv-proof
[(((triple4) -> rule3) OR ((triple4 triple8) -> rule6))]
("Dave" "is" "kind" "-")
((triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple4 triple8) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fiona is kind.
True
4
proof
[(((triple10 ((triple9) -> rule5)) -> rule6))]
("Fiona" "is" "kind" "+")
((triple10 ((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not kind.
False
4
inv-proof
[(((triple10 ((triple9) -> rule5)) -> rule6))]
("Fiona" "is" "kind" "-")
((triple10 ((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
True
5
proof
[(((((triple10 ((triple9) -> rule5)) -> rule6)) -> rule4))]
("Fiona" "is" "red" "+")
((((triple10 ((triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not red.
False
5
inv-proof
[(((((triple10 ((triple9) -> rule5)) -> rule6)) -> rule4))]
("Fiona" "is" "red" "-")
((((triple10 ((triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is furry.
Unknown
rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Bob" "is" "furry" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Bob is not red.[(triple1)] Bob is not rough.[(triple2)] Bob is young.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6 OR ((((triple4) -> rule3)) -> rule4) OR ((((triple4 triple8) -> rule6)) -> rule4))] Dave is rough.[(triple7)] Dave is young.[(triple8 OR ((((((triple4) -> rule3)) -> rule2)) -> rule5))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is not quiet.[(triple11)] Fiona is rough.[(triple12)] Gary is furry.[(triple13 OR ((((triple14 triple16) -> rule6)) -> rule2))] Gary is green.[(triple14)] Gary is red.[(triple15 OR ((((triple14 triple16) -> rule6)) -> rule4) OR ((((triple14 ((triple13) -> rule5)) -> rule6)) -> rule4))] Gary is young.[(triple16 OR ((triple13) -> rule5))] @1: Dave is kind.[(((triple4) -> rule3) OR ((triple4 triple8) -> rule6))] Fiona is young.[(((triple9) -> rule5))] Gary is kind.[(((triple14 triple16) -> rule6) OR ((triple14 ((triple13) -> rule5)) -> rule6))] @2: Dave is furry.[(((((triple4) -> rule3)) -> rule2) OR ((((triple4 triple8) -> rule6)) -> rule2))] Fiona is kind.[(((triple10 ((triple9) -> rule5)) -> rule6))] @3: Fiona is red.[(((((triple10 ((triple9) -> rule5)) -> rule6)) -> rule4))]
Bob is not red.
("Bob" "is" "red" "-")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple4 triple8) -> (rule6 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
((((triple14 triple16) -> (rule6 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
((((triple14 triple16) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple14 ((triple13) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple13) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple4 triple8) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple9) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple14 triple16) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple14 ((triple13) -> (rule5 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple4 triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple10 ((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple10 ((triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3