Bob is furry. Charlie is not red. Dave is not furry. Fiona is big. All white people are blue. Quiet people are not blue. If Bob is furry then Bob is white. If Charlie is quiet then Charlie is furry. All furry people are red. If someone is furry and blue then they are big.
Bob is furry.
("Bob" "is" "furry" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Dave is not furry.
("Dave" "is" "furry" "-")
Fiona is big.
("Fiona" "is" "big" "+")
All white people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Quiet people are not blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "-"))
If Bob is furry then Bob is white.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "white" "+"))
If Charlie is quiet then Charlie is furry.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "furry" "+"))
All furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and blue then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Charlie is not red.
True
1
proof
[(triple2)]
("Charlie" "is" "red" "-")
triple2
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Bob is red.
True
2
proof
[(((triple1) -> rule5))]
("Bob" "is" "red" "+")
((triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple1) -> rule5))]
("Bob" "is" "red" "-")
((triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("Bob" "is" "blue" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is not blue.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("Bob" "is" "blue" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
True
5
proof
[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule6))]
("Bob" "is" "big" "+")
((triple1 ((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is not big.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule6))]
("Bob" "is" "big" "-")
((triple1 ((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "big" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "furry" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Bob is furry.[(triple1)] Charlie is not red.[(triple2)] Dave is not furry.[(triple3)] Fiona is big.[(triple4)] @1: Bob is red.[(((triple1) -> rule5))] Bob is white.[(((triple1) -> rule3))] @2: Bob is blue.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is big.[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule6))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Charlie is not red.
("Charlie" "is" "red" "-")
triple2
Dave is not furry.
("Dave" "is" "furry" "-")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple1 ((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3