Bob is big. Bob is not blue. Bob is quiet. Bob is round. Charlie is not big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is round. Charlie is smart. Fiona is not blue. Fiona is not furry. Fiona is green. Fiona is quiet. Fiona is not smart. All quiet, smart things are round. Furry, big things are round. All round, quiet things are furry. If something is round then it is green. If something is blue and not round then it is not green. If something is smart and not quiet then it is green.
Bob is big.
("Bob" "is" "big" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
All quiet, smart things are round.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Furry, big things are round.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All round, quiet things are furry.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is round then it is green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is blue and not round then it is not green.
((("something" "is" "blue" "+") ("something" "is" "round" "~")) -> ("something" "is" "green" "-"))
If something is smart and not quiet then it is green.
((("something" "is" "smart" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "green" "+"))
Bob is quiet.
True
1
proof
[(triple3)]
("Bob" "is" "quiet" "+")
triple3
Bob is not quiet.
False
1
inv-proof
[(triple3)]
("Bob" "is" "quiet" "-")
triple3
Bob is furry.
True
3
proof
[(((triple4 triple3) -> rule3))]
("Bob" "is" "furry" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("Bob" "is" "furry" "-")
((triple4 triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8 OR ((triple9) -> rule4))] Charlie is not big.[(triple5)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Fiona is green.[(triple13)] Fiona is not blue.[(triple11)] Fiona is not furry.[(triple12)] Fiona is not smart.[(triple15)] Fiona is quiet.[(triple14)] @1: Bob is furry.[(((triple4 triple3) -> rule3))] Bob is green.[(((triple4) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple8
((triple9) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not big.
("Charlie" "is" "big" "-")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple11
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple12
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple15
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Bob is furry.
("Bob" "is" "furry" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1