Erin is green. Fiona is big. Fiona is green. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Harry is big. Harry is not green. Harry is kind. Harry is nice. Harry is quiet. Harry is not rough. Harry is young. Kind, green people are not young. All young people are not green. If someone is green then they are quiet. If someone is green and not rough then they are not kind. If someone is big and not quiet then they are not nice. If someone is green and not rough then they are nice.
Erin is green.
("Erin" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is young.
("Harry" "is" "young" "+")
Kind, green people are not young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "-"))
All young people are not green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
If someone is green then they are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If someone is green and not rough then they are not kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "kind" "-"))
If someone is big and not quiet then they are not nice.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "nice" "-"))
If someone is green and not rough then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "nice" "+"))
Harry is not rough.
True
1
proof
[(triple14)]
("Harry" "is" "rough" "-")
triple14
Harry is not kind.
False
1
inv-proof
[(triple11)]
("Harry" "is" "kind" "-")
triple11
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Erin is green.[(triple1)] Fiona is big.[(triple2)] Fiona is green.[(triple3)] Gary is big.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8 OR ((triple5) -> rule3))] Harry is big.[(triple9)] Harry is kind.[(triple11)] Harry is nice.[(triple12)] Harry is not green.[(triple10 OR ((triple15) -> rule2))] Harry is not rough.[(triple14)] Harry is quiet.[(triple13)] Harry is young.[(triple15)] @1: Erin is quiet.[(((triple1) -> rule3))] Fiona is quiet.[(((triple3) -> rule3))] Gary is not young.[(((triple6 triple5) -> rule1))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple5) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is not green.
("Harry" "is" "green" "-")
triple10
((triple15) -> (rule2 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Harry is not rough.
("Harry" "is" "rough" "-")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is young.
("Harry" "is" "young" "+")
triple15
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is not young.
("Gary" "is" "young" "-")
((triple6 triple5) -> (rule1 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1