Bob is nice. Bob is not red. Bob is rough. Erin is big. Erin is furry. Fiona is not big. Fiona is not nice. Fiona is not red. Fiona is young. Harry is not big. Harry is furry. Harry is nice. Harry is red. Harry is not rough. Harry is white. Harry is young. All furry people are not rough.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All furry people are not rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "-"))
Harry is young.
True
1
proof
[(triple16)]
("Harry" "is" "young" "+")
triple16
Bob is red.
False
1
inv-proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Bob is nice.[(triple1)] Bob is not red.[(triple2)] Bob is rough.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Fiona is not big.[(triple6)] Fiona is not nice.[(triple7)] Fiona is not red.[(triple8)] Fiona is young.[(triple9)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is not big.[(triple10)] Harry is not rough.[(triple14 OR ((triple11) -> rule1))] Harry is red.[(triple13)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Erin is not rough.[(((triple5) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Fiona is not big.
("Fiona" "is" "big" "-")
triple6
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple7
Fiona is not red.
("Fiona" "is" "red" "-")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is not big.
("Harry" "is" "big" "-")
triple10
Harry is not rough.
("Harry" "is" "rough" "-")
triple14
((triple11) -> (rule1 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Erin is not rough.
("Erin" "is" "rough" "-")
((triple5) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1