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