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