Erin is not blue. Erin is not furry. Erin is nice. Erin is not quiet. Erin is young. Gary is not nice. Harry is not blue. Harry is not furry. Harry is not nice. Harry is quiet. Harry is not rough. Harry is young. If Gary is furry and Gary is young then Gary is rough. All quiet things are not green. Young things are not blue.
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is young.
("Erin" "is" "young" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is young.
("Harry" "is" "young" "+")
If Gary is furry and Gary is young then Gary is rough.
((("Gary" "is" "furry" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "rough" "+"))
All quiet things are not green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "-"))
Young things are not blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "-"))
Gary is not nice.
True
1
proof
[(triple6)]
("Gary" "is" "nice" "-")
triple6
Erin is blue.
False
1
inv-proof
[(triple1 OR ((triple5) -> rule3))]
("Erin" "is" "blue" "+")
triple1
((triple5) -> (rule3 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Harry is not green.
True
2
proof
[(((triple10) -> rule2))]
("Harry" "is" "green" "-")
((triple10) -> (rule2 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Harry is green.
False
2
inv-proof
[(((triple10) -> rule2))]
("Harry" "is" "green" "+")
((triple10) -> (rule2 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is nice.[(triple3)] Erin is not blue.[(triple1 OR ((triple5) -> rule3))] Erin is not furry.[(triple2)] Erin is not quiet.[(triple4)] Erin is young.[(triple5)] Gary is not nice.[(triple6)] Harry is not blue.[(triple7 OR ((triple12) -> rule3))] Harry is not furry.[(triple8)] Harry is not nice.[(triple9)] Harry is not rough.[(triple11)] Harry is quiet.[(triple10)] Harry is young.[(triple12)] @1: Harry is not green.[(((triple10) -> rule2))]
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is not blue.
("Erin" "is" "blue" "-")
triple1
((triple5) -> (rule3 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is not furry.
("Erin" "is" "furry" "-")
triple2
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Gary is not nice.
("Gary" "is" "nice" "-")
triple6
Harry is not blue.
("Harry" "is" "blue" "-")
triple7
((triple12) -> (rule3 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
triple8
Harry is not nice.
("Harry" "is" "nice" "-")
triple9
Harry is not rough.
("Harry" "is" "rough" "-")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is not green.
("Harry" "is" "green" "-")
((triple10) -> (rule2 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1