Erin is not round. Fiona is blue. Fiona is not furry. All green things are big. If something is blue then it is not big. If Fiona is not big then Fiona is red. If something is red then it is round. Blue, round things are smart. Green things are not smart.
Erin is not round.
("Erin" "is" "round" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
All green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something is blue then it is not big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "-"))
If Fiona is not big then Fiona is red.
((("Fiona" "is" "big" "~")) -> ("Fiona" "is" "red" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Blue, round things are smart.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Green things are not smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "-"))
Fiona is not furry.
True
1
proof
[(triple3)]
("Fiona" "is" "furry" "-")
triple3
Fiona is furry.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "furry" "+")
triple3
Fiona is not big.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "big" "-")
((triple2) -> (rule2 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is big.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "big" "+")
((triple2) -> (rule2 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is red.
True
3
proof
[(((((triple2) -> rule2)) -> rule3))]
("Fiona" "is" "red" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
int2
Fiona is not red.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule3))]
("Fiona" "is" "red" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
int2
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is big.
Unknown
rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "big" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is not round.[(triple1)] Fiona is blue.[(triple2)] Fiona is not furry.[(triple3)] @1: Fiona is not big.[(((triple2) -> rule2))] @2: Fiona is red.[(((((triple2) -> rule2)) -> rule3))] @3: Fiona is round.[(((((((triple2) -> rule2)) -> rule3)) -> rule4))] @4: Fiona is smart.[(((triple2 ((((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule5))]
Erin is not round.
("Erin" "is" "round" "-")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple3
Fiona is not big.
("Fiona" "is" "big" "-")
((triple2) -> (rule2 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not big.
("Fiona" "is" "big" "-")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2 ((((((triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not big.
("Fiona" "is" "big" "-")
int4