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