Dave is nice. Erin is kind. Erin is round. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. Gary is blue. Gary is nice. Gary is round. Nice people are round. If someone is round and kind then they are nice. If Dave is round then Dave is kind. All rough people are round. If Dave is young and Dave is kind then Dave is round. All kind people are white.
Dave is nice.
("Dave" "is" "nice" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If Dave is round then Dave is kind.
((("Dave" "is" "round" "+")) -> ("Dave" "is" "kind" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If Dave is young and Dave is kind then Dave is round.
((("Dave" "is" "young" "+") ("Dave" "is" "kind" "+")) -> ("Dave" "is" "round" "+"))
All kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Gary is nice.
True
1
proof
[(triple11)]
("Gary" "is" "nice" "+")
triple11
Gary is not round.
False
1
inv-proof
[(triple12 OR ((triple11) -> rule1))]
("Gary" "is" "round" "-")
triple12
((triple11) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Erin is white.
True
2
proof
[(((triple2) -> rule6))]
("Erin" "is" "white" "+")
((triple2) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Erin" "is" "nice" "-")
((triple3 triple2) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Dave is kind.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Dave" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not kind.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Dave" "is" "kind" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
True
4
proof
[(((((((triple1) -> rule1)) -> rule3)) -> rule6))]
("Dave" "is" "white" "+")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not white.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule3)) -> rule6))]
("Dave" "is" "white" "-")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "white" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Dave is nice.[(triple1)] Erin is kind.[(triple2)] Erin is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6 OR ((((triple7) -> rule4) triple5) -> rule2))] Fiona is rough.[(triple7)] Fiona is white.[(triple8 OR ((triple5) -> rule6))] Fiona is young.[(triple9)] Gary is blue.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12 OR ((triple11) -> rule1))] @1: Dave is round.[(((triple1) -> rule1))] Erin is nice.[(((triple3 triple2) -> rule2))] Erin is white.[(((triple2) -> rule6))] Fiona is round.[(((triple6) -> rule1) OR ((triple7) -> rule4))] @2: Dave is kind.[(((((triple1) -> rule1)) -> rule3))] @3: Dave is white.[(((((((triple1) -> rule1)) -> rule3)) -> rule6))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((((triple7) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
((triple5) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
((triple11) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple3 triple2) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple2) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple6) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple7) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3