Erin is round. Fiona is green. Gary is green. Harry is nice. Round people are not nice. Green people are nice. If someone is white and quiet then they are green. All quiet, kind people are not young. Kind people are young. Round people are not quiet. All white, green people are not kind. If Harry is not quiet then Harry is not nice.
Erin is round.
("Erin" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Round people are not nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "-"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is white and quiet then they are green.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
All quiet, kind people are not young.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "-"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Round people are not quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "-"))
All white, green people are not kind.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "-"))
If Harry is not quiet then Harry is not nice.
((("Harry" "is" "quiet" "~")) -> ("Harry" "is" "nice" "-"))
Gary is green.
True
1
proof
[(triple3)]
("Gary" "is" "green" "+")
triple3
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Erin is not quiet.
True
2
proof
[(((triple1) -> rule6))]
("Erin" "is" "quiet" "-")
((triple1) -> (rule6 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "young" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Erin is round.[(triple1)] Fiona is green.[(triple2)] Gary is green.[(triple3)] Harry is nice.[(triple4)] @1: Erin is not nice.[(((triple1) -> rule1))] Erin is not quiet.[(((triple1) -> rule6))] Fiona is nice.[(((triple2) -> rule2))] Gary is nice.[(((triple3) -> rule2))]
Erin is round.
("Erin" "is" "round" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Erin is not nice.
("Erin" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
((triple1) -> (rule6 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1