Bob is not big. Bob is furry. Bob is kind. Bob is not nice. Bob is rough. Bob is white. Fiona is not furry. Fiona is nice. Fiona is rough. Fiona is white. If someone is nice then they are big. If Bob is big and Bob is nice then Bob is rough.
Bob is not big.
("Bob" "is" "big" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is nice then they are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If Bob is big and Bob is nice then Bob is rough.
((("Bob" "is" "big" "+") ("Bob" "is" "nice" "+")) -> ("Bob" "is" "rough" "+"))
Fiona is rough.
True
1
proof
[(triple9)]
("Fiona" "is" "rough" "+")
triple9
Bob is nice.
False
1
inv-proof
[(triple4)]
("Bob" "is" "nice" "+")
triple4
Fiona is big.
True
2
proof
[(((triple8) -> rule1))]
("Fiona" "is" "big" "+")
((triple8) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple8) -> rule1))]
("Fiona" "is" "big" "-")
((triple8) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is not big.[(triple1)] Bob is not nice.[(triple4)] Bob is rough.[(triple5)] Bob is white.[(triple6)] Fiona is nice.[(triple8)] Fiona is not furry.[(triple7)] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is big.[(((triple8) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
((triple8) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1