Fiona is round. Fiona is white. Gary is red. If Fiona is red then Fiona is kind. If Fiona is smart then Fiona is red. If Fiona is white then Fiona is smart. All furry things are quiet. Smart, round things are furry. If Fiona is quiet then Fiona is furry.
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is red.
("Gary" "is" "red" "+")
If Fiona is red then Fiona is kind.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "kind" "+"))
If Fiona is smart then Fiona is red.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "red" "+"))
If Fiona is white then Fiona is smart.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "smart" "+"))
All furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Smart, round things are furry.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If Fiona is quiet then Fiona is furry.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "furry" "+"))
Fiona is white.
True
1
proof
[(triple2)]
("Fiona" "is" "white" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Fiona is smart.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "smart" "-")
((triple2) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Fiona" "is" "red" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((((triple2) -> rule3) triple1) -> rule5))]
("Fiona" "is" "furry" "-")
((((triple2) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
True
5
proof
[(((((((triple2) -> rule3) triple1) -> rule5)) -> rule4))]
("Fiona" "is" "quiet" "+")
((((((triple2) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not kind.
False
4
inv-proof
[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]
("Fiona" "is" "kind" "-")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Gary is not quiet.
Unknown
inv-rconc
[@2: Gary is quiet.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "furry" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Fiona is round.[(triple1)] Fiona is white.[(triple2)] Gary is red.[(triple3)] @1: Fiona is smart.[(((triple2) -> rule3))] @2: Fiona is furry.[(((((triple2) -> rule3) triple1) -> rule5))] Fiona is red.[(((((triple2) -> rule3)) -> rule2))] @3: Fiona is kind.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))] Fiona is quiet.[(((((((triple2) -> rule3) triple1) -> rule5)) -> rule4))]
Fiona is round.
("Fiona" "is" "round" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple2) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple2) -> (rule3 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3