Charlie is blue. Charlie is green. Charlie is not kind. Charlie is not rough. Charlie is round. Charlie is white. Dave is green. Dave is not kind. Dave is not quiet. Fiona is blue. Fiona is green. Fiona is kind. Fiona is not quiet. Fiona is white. Gary is green. Round people are white. Quiet, kind people are white. If someone is quiet and white then they are blue. Rough, kind people are not blue. Round people are blue. All green people are blue. If Gary is quiet then Gary is rough. Quiet, green people are rough.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Quiet, kind people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet and white then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Rough, kind people are not blue.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "-"))
Round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If Gary is quiet then Gary is rough.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "rough" "+"))
Quiet, green people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Charlie is round.
True
1
proof
[(triple5)]
("Charlie" "is" "round" "+")
triple5
Gary is not green.
False
1
inv-proof
[(triple15)]
("Gary" "is" "green" "-")
triple15
Dave is blue.
True
2
proof
[(((triple7) -> rule6))]
("Dave" "is" "blue" "+")
((triple7) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple15) -> rule6))]
("Gary" "is" "blue" "-")
((triple15) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "rough" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple5) -> rule5))] Charlie is green.[(triple2)] Charlie is not kind.[(triple3)] Charlie is not rough.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple5) -> rule1))] Dave is green.[(triple7)] Dave is not kind.[(triple8)] Dave is not quiet.[(triple9)] Fiona is blue.[(triple10 OR ((triple11) -> rule6))] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is white.[(triple14)] Gary is green.[(triple15)] @1: Dave is blue.[(((triple7) -> rule6))] Gary is blue.[(((triple15) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple2) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple5) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple3
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
((triple5) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is not kind.
("Dave" "is" "kind" "-")
triple8
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((triple11) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Gary is green.
("Gary" "is" "green" "+")
triple15
Dave is blue.
("Dave" "is" "blue" "+")
((triple7) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple15) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1