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