Charlie is green. Charlie is kind. Charlie is not quiet. Charlie is smart. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Gary is furry. Gary is not kind. Gary is quiet. Gary is red. Gary is not round. Gary is smart. If Fiona is not round then Fiona is green. All round, smart things are red. If something is round and not furry then it is kind.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is smart.
("Gary" "is" "smart" "+")
If Fiona is not round then Fiona is green.
((("Fiona" "is" "round" "~")) -> ("Fiona" "is" "green" "+"))
All round, smart things are red.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
If something is round and not furry then it is kind.
((("something" "is" "round" "+") ("something" "is" "furry" "~")) -> ("something" "is" "kind" "+"))
Charlie is smart.
True
1
proof
[(triple4)]
("Charlie" "is" "smart" "+")
triple4
Gary is not smart.
False
1
inv-proof
[(triple16)]
("Gary" "is" "smart" "-")
triple16
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is smart.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8 OR ((triple9 triple10) -> rule2))] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Gary is furry.[(triple11)] Gary is not kind.[(triple12)] Gary is not round.[(triple15)] Gary is quiet.[(triple13)] Gary is red.[(triple14)] Gary is smart.[(triple16)]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple9 triple10) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is not kind.
("Gary" "is" "kind" "-")
triple12
Gary is not round.
("Gary" "is" "round" "-")
triple15
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple16