Charlie is blue. Charlie is round. Fiona is not quiet. Fiona is not round. Fiona is white. Fiona is young. Gary is big. Gary is blue. Gary is rough. Gary is round. Gary is white. Gary is young. If someone is young and not round then they are rough.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is young and not round then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
Fiona is not quiet.
True
1
proof
[(triple3)]
("Fiona" "is" "quiet" "-")
triple3
Gary is not young.
False
1
inv-proof
[(triple12)]
("Gary" "is" "young" "-")
triple12
Fiona is rough.
True
3
proof
[(((triple6 triple4) -> rule1))]
("Fiona" "is" "rough" "+")
((triple6 triple4) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple6 triple4) -> rule1))]
("Fiona" "is" "rough" "-")
((triple6 triple4) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is blue.[(triple1)] Charlie is round.[(triple2)] Fiona is not quiet.[(triple3)] Fiona is not round.[(triple4)] Fiona is white.[(triple5)] Fiona is young.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Fiona is rough.[(((triple6 triple4) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple3
Fiona is not round.
("Fiona" "is" "round" "-")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple6 triple4) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1