Erin is not round. Fiona is kind. Fiona is round. Fiona is white. Gary is nice. Harry is round. Harry is white. If Harry is not red then Harry is nice. All red, blue things are not round. If something is nice then it is white. Round things are white. If Erin is nice and Erin is not kind then Erin is not young. If something is red and not blue then it is not nice. If something is white and not round then it is nice. All kind, blue things are nice.
Erin is not round.
("Erin" "is" "round" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is not red then Harry is nice.
((("Harry" "is" "red" "~")) -> ("Harry" "is" "nice" "+"))
All red, blue things are not round.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "-"))
If something is nice then it is white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If Erin is nice and Erin is not kind then Erin is not young.
((("Erin" "is" "nice" "+") ("Erin" "is" "kind" "~")) -> ("Erin" "is" "young" "-"))
If something is red and not blue then it is not nice.
((("something" "is" "red" "+") ("something" "is" "blue" "~")) -> ("something" "is" "nice" "-"))
If something is white and not round then it is nice.
((("something" "is" "white" "+") ("something" "is" "round" "~")) -> ("something" "is" "nice" "+"))
All kind, blue things are nice.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Harry is round.
True
1
proof
[(triple6)]
("Harry" "is" "round" "+")
triple6
Gary is not nice.
False
1
inv-proof
[(triple5)]
("Gary" "is" "nice" "-")
triple5
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Erin" "is" "white" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Erin is not round.[(triple1)] Fiona is kind.[(triple2)] Fiona is round.[(triple3)] Fiona is white.[(triple4 OR ((triple3) -> rule4))] Gary is nice.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple6) -> rule4))] @1: Gary is white.[(((triple5) -> rule3))]
Erin is not round.
("Erin" "is" "round" "-")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
((triple3) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
((triple6) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple5) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1