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