Charlie is furry. Charlie is kind. Charlie is red. Erin is furry. Erin is red. Erin is round. Erin is white. Gary is furry. Gary is red. Gary is round. Harry is furry. Harry is quiet. White people are quiet. Red, quiet people are kind.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
White people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Red, quiet people are kind.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Harry is quiet.
True
1
proof
[(triple12)]
("Harry" "is" "quiet" "+")
triple12
Harry is not furry.
False
1
inv-proof
[(triple11)]
("Harry" "is" "furry" "-")
triple11
Erin is quiet.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple7) -> rule1))]
("Erin" "is" "quiet" "-")
((triple7) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Charlie is quiet.
Unknown
rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "quiet" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Erin is furry.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Gary is furry.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10)] Harry is furry.[(triple11)] Harry is quiet.[(triple12)] @1: Erin is quiet.[(((triple7) -> rule1))] @2: Erin is kind.[(((triple5 ((triple7) -> rule1)) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple5 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2