Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Fiona is not cold. Fiona is green. Fiona is nice. Fiona is rough. Fiona is round. Fiona is not white. Gary is rough. Gary is not round. If Charlie is green and Charlie is cold then Charlie is round. If something is green and not nice then it is white. If Gary is not round then Gary is cold. If Gary is not round then Gary is rough. Nice things are rough. If something is young and not green then it is not cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
If Charlie is green and Charlie is cold then Charlie is round.
((("Charlie" "is" "green" "+") ("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "round" "+"))
If something is green and not nice then it is white.
((("something" "is" "green" "+") ("something" "is" "nice" "~")) -> ("something" "is" "white" "+"))
If Gary is not round then Gary is cold.
((("Gary" "is" "round" "~")) -> ("Gary" "is" "cold" "+"))
If Gary is not round then Gary is rough.
((("Gary" "is" "round" "~")) -> ("Gary" "is" "rough" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is young and not green then it is not cold.
((("something" "is" "young" "+") ("something" "is" "green" "~")) -> ("something" "is" "cold" "-"))
Charlie is nice.
True
1
proof
[(triple3)]
("Charlie" "is" "nice" "+")
triple3
Fiona is not green.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "green" "-")
triple9
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "white" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is rough.[(triple4 OR ((triple3) -> rule5))] Charlie is round.[(triple5 OR ((triple2 triple1) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is not cold.[(triple8)] Fiona is not white.[(triple13)] Fiona is rough.[(triple11 OR ((triple10) -> rule5))] Fiona is round.[(triple12)] Gary is not round.[(triple15)] Gary is rough.[(triple14 OR ((triple15) -> rule4))] @1: Gary is cold.[(((triple15) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
((triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple5
((triple2 triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple8
Fiona is not white.
("Fiona" "is" "white" "-")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
((triple10) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Gary is not round.
("Gary" "is" "round" "-")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple14
((triple15) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple15) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1