Erin is furry. Erin is kind. Erin is rough. Fiona is furry. Harry is blue. Harry is furry. Harry is quiet. If someone is blue then they are rough.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Harry is blue.
True
1
proof
[(triple5)]
("Harry" "is" "blue" "+")
triple5
Harry is not quiet.
False
1
inv-proof
[(triple7)]
("Harry" "is" "quiet" "-")
triple7
Harry is rough.
True
2
proof
[(((triple5) -> rule1))]
("Harry" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple5) -> rule1))]
("Harry" "is" "rough" "-")
((triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2)] Erin is rough.[(triple3)] Fiona is furry.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6)] Harry is quiet.[(triple7)] @1: Harry is rough.[(((triple5) -> rule1))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1