Bob is round. Fiona is not big. Fiona is not blue. Fiona is not smart. Fiona is young. Gary is blue. Gary is quiet. If someone is blue and not quiet then they are not smart. All blue, round people are smart. If Gary is furry and Gary is quiet then Gary is round. If someone is blue and young then they are not furry. If someone is big then they are furry. Furry, young people are not round. If someone is quiet then they are big. All big people are not young.
Bob is round.
("Bob" "is" "round" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is blue and not quiet then they are not smart.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "smart" "-"))
All blue, round people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If Gary is furry and Gary is quiet then Gary is round.
((("Gary" "is" "furry" "+") ("Gary" "is" "quiet" "+")) -> ("Gary" "is" "round" "+"))
If someone is blue and young then they are not furry.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "-"))
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Furry, young people are not round.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "-"))
If someone is quiet then they are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All big people are not young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
Fiona is not smart.
True
1
proof
[(triple4)]
("Fiona" "is" "smart" "-")
triple4
Fiona is big.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "big" "+")
triple2
Gary is big.
True
2
proof
[(((triple7) -> rule7))]
("Gary" "is" "big" "+")
((triple7) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple7) -> rule7))]
("Gary" "is" "big" "-")
((triple7) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
True
3
proof
[(((((triple7) -> rule7)) -> rule5))]
("Gary" "is" "furry" "+")
((((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not furry.
False
3
inv-proof
[(((((triple7) -> rule7)) -> rule5))]
("Gary" "is" "furry" "-")
((((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
True
5
proof
[(((((((triple7) -> rule7)) -> rule5) triple7) -> rule3))]
("Gary" "is" "round" "+")
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not round.
False
5
inv-proof
[(((((((triple7) -> rule7)) -> rule5) triple7) -> rule3))]
("Gary" "is" "round" "-")
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is smart.
Unknown
rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "smart" "+")
Bob is not furry.
Unknown
inv-rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Bob" "is" "furry" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Bob is round.[(triple1)] Fiona is not big.[(triple2)] Fiona is not blue.[(triple3)] Fiona is not smart.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is quiet.[(triple7)] @1: Gary is big.[(((triple7) -> rule7))] @2: Gary is furry.[(((((triple7) -> rule7)) -> rule5))] Gary is not young.[(((((triple7) -> rule7)) -> rule8))] @3: Gary is round.[(((((((triple7) -> rule7)) -> rule5) triple7) -> rule3))] @4: Gary is smart.[(((triple6 ((((((triple7) -> rule7)) -> rule5) triple7) -> rule3)) -> rule2))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Fiona is not big.
("Fiona" "is" "big" "-")
triple2
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple3
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not young.
("Gary" "is" "young" "-")
((((triple7) -> (rule7 % int2))) -> (rule8 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((triple6 ((((((triple7) -> (rule7 % int4))) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4