Fiona is not big. Fiona is blue. Fiona is not furry. Fiona is not nice. Harry is furry. Harry is nice. Harry is smart. Nice things are rough.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Harry is not furry.
False
1
inv-proof
[(triple5)]
("Harry" "is" "furry" "-")
triple5
Harry is rough.
True
2
proof
[(((triple6) -> rule1))]
("Harry" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple6) -> rule1))]
("Harry" "is" "rough" "-")
((triple6) -> (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" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Fiona is blue.[(triple2)] Fiona is not big.[(triple1)] Fiona is not furry.[(triple3)] Fiona is not nice.[(triple4)] Harry is furry.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Harry is rough.[(((triple6) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple3
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1