Charlie is not big. Charlie is cold. Charlie is green. Charlie is rough. Charlie is round. Fiona is rough. Gary is big. Gary is cold. Gary is red. Gary is not rough. If something is round and not kind then it is not rough. If Fiona is round then Fiona is red. All green things are not big. All kind, round things are not big. Round, kind things are green. All big things are round. Kind, rough things are round. Rough things are cold.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
If something is round and not kind then it is not rough.
((("something" "is" "round" "+") ("something" "is" "kind" "~")) -> ("something" "is" "rough" "-"))
If Fiona is round then Fiona is red.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "red" "+"))
All green things are not big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "-"))
All kind, round things are not big.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "-"))
Round, kind things are green.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Kind, rough things are round.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple8)]
("Gary" "is" "cold" "+")
triple8
Fiona is not rough.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "rough" "-")
triple6
Gary is round.
True
2
proof
[(((triple7) -> rule6))]
("Gary" "is" "round" "+")
((triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple7) -> rule6))]
("Gary" "is" "round" "-")
((triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "round" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Charlie is cold.[(triple2 OR ((triple4) -> rule8))] Charlie is green.[(triple3)] Charlie is not big.[(triple1 OR ((triple3) -> rule3))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Fiona is rough.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple8)] Gary is not rough.[(triple10)] Gary is red.[(triple9)] @1: Fiona is cold.[(((triple6) -> rule8))] Gary is round.[(((triple7) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple4) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
((triple3) -> (rule3 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is not rough.
("Gary" "is" "rough" "-")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple6) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1