Bob is big. Bob is not kind. Bob is nice. Bob is quiet. Bob is not round. Bob is white. Fiona is not big. Fiona is kind. Fiona is quiet. Fiona is round. Harry is not big. Harry is nice. Harry is not quiet. Harry is round. Harry is smart. If Harry is smart then Harry is not kind. If someone is white then they are not round. If someone is white and not nice then they are not smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is smart then Harry is not kind.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "kind" "-"))
If someone is white then they are not round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "-"))
If someone is white and not nice then they are not smart.
((("someone" "is" "white" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "smart" "-"))
Fiona is round.
True
1
proof
[(triple10)]
("Fiona" "is" "round" "+")
triple10
Fiona is big.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "big" "+")
triple7
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is nice.[(triple3)] Bob is not kind.[(triple2)] Bob is not round.[(triple5 OR ((triple6) -> rule2))] Bob is quiet.[(triple4)] Bob is white.[(triple6)] Fiona is kind.[(triple8)] Fiona is not big.[(triple7)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] Harry is nice.[(triple12)] Harry is not big.[(triple11)] Harry is not quiet.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Harry is not kind.[(((triple15) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is not round.
("Bob" "is" "round" "-")
triple5
((triple6) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not big.
("Fiona" "is" "big" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is not big.
("Harry" "is" "big" "-")
triple11
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is not kind.
("Harry" "is" "kind" "-")
((triple15) -> (rule1 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1