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