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