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