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