Charlie is quiet. Charlie is not round. Charlie is smart. Erin is not young. Gary is not young. Harry is not quiet. Harry is round. If someone is round then they are nice. White people are young.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is not young.
("Gary" "is" "young" "-")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is round.
("Harry" "is" "round" "+")
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
White people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Gary is not young.
True
1
proof
[(triple5)]
("Gary" "is" "young" "-")
triple5
Charlie is not quiet.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "quiet" "-")
triple1
Harry is nice.
True
2
proof
[(((triple7) -> rule1))]
("Harry" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Harry" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Charlie is not round.[(triple2)] Charlie is quiet.[(triple1)] Charlie is smart.[(triple3)] Erin is not young.[(triple4)] Gary is not young.[(triple5)] Harry is not quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is nice.[(((triple7) -> rule1))]
Charlie is not round.
("Charlie" "is" "round" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Erin is not young.
("Erin" "is" "young" "-")
triple4
Gary is not young.
("Gary" "is" "young" "-")
triple5
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1