Charlie is not young. Erin is blue. Erin is not furry. Erin is green. Erin is nice. Erin is round. Erin is white. Erin is young. Gary is blue. Gary is furry. Gary is green. Gary is young. Harry is blue. Harry is not furry. Harry is round. Harry is young. All white people are nice. If someone is young then they are white. If Charlie is blue and Charlie is not green then Charlie is nice.
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All white people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If someone is young then they are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If Charlie is blue and Charlie is not green then Charlie is nice.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "green" "~")) -> ("Charlie" "is" "nice" "+"))
Gary is furry.
True
1
proof
[(triple10)]
("Gary" "is" "furry" "+")
triple10
Harry is not young.
False
1
inv-proof
[(triple16)]
("Harry" "is" "young" "-")
triple16
Gary is white.
True
2
proof
[(((triple12) -> rule2))]
("Gary" "is" "white" "+")
((triple12) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple16) -> rule2))]
("Harry" "is" "white" "-")
((triple16) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
True
3
proof
[(((((triple16) -> rule2)) -> rule1))]
("Harry" "is" "nice" "+")
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Gary is not nice.
False
3
inv-proof
[(((((triple12) -> rule2)) -> rule1))]
("Gary" "is" "nice" "-")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is white.
Unknown
rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "white" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Charlie is not young.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple4)] Erin is nice.[(triple5 OR ((triple7) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] Erin is not furry.[(triple3)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple8) -> rule2))] Erin is young.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is young.[(triple12)] Harry is blue.[(triple13)] Harry is not furry.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Gary is white.[(((triple12) -> rule2))] Harry is white.[(((triple16) -> rule2))] @2: Gary is nice.[(((((triple12) -> rule2)) -> rule1))] Harry is nice.[(((((triple16) -> rule2)) -> rule1))]
Charlie is not young.
("Charlie" "is" "young" "-")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
((triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not furry.
("Erin" "is" "furry" "-")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple8) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is not furry.
("Harry" "is" "furry" "-")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Gary is white.
("Gary" "is" "white" "+")
((triple12) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple16) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple16) -> (rule2 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2