Bob is big. Bob is blue. Bob is furry. Bob is not green. Bob is kind. Bob is nice. Bob is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. If Bob is nice and Bob is young then Bob is blue. If Bob is furry and Bob is green then Bob is not young.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If Bob is nice and Bob is young then Bob is blue.
((("Bob" "is" "nice" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "blue" "+"))
If Bob is furry and Bob is green then Bob is not young.
((("Bob" "is" "furry" "+") ("Bob" "is" "green" "+")) -> ("Bob" "is" "young" "-"))
Fiona is furry.
True
1
proof
[(triple9)]
("Fiona" "is" "furry" "+")
triple9
Bob is not furry.
False
1
inv-proof
[(triple3)]
("Bob" "is" "furry" "-")
triple3
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple6 triple7) -> rule1))] Bob is furry.[(triple3)] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is not green.[(triple4)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple6 triple7) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is not green.
("Bob" "is" "green" "-")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12