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