Anne is furry. Bob is nice. Bob is red. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. All furry, blue people are smart. If someone is furry then they are blue. All furry, smart people are round.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All furry, blue people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
All furry, smart people are round.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Bob is red.
True
1
proof
[(triple3)]
("Bob" "is" "red" "+")
triple3
Fiona is not green.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "green" "-")
triple5
Anne is blue.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "blue" "-")
((triple4) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Anne is smart.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule1))]
("Anne" "is" "smart" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is not smart.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule1))]
("Anne" "is" "smart" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
True
6
proof
[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule1)) -> rule3))]
("Anne" "is" "round" "+")
((triple1 ((triple1 ((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is not round.
False
6
inv-proof
[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule1)) -> rule3))]
("Anne" "is" "round" "-")
((triple1 ((triple1 ((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7 OR ((triple4 ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3))] @1: Anne is blue.[(((triple1) -> rule2))] Fiona is blue.[(((triple4) -> rule2))] @2: Anne is smart.[(((triple1 ((triple1) -> rule2)) -> rule1))] Fiona is smart.[(((triple4 ((triple4) -> rule2)) -> rule1))] @3: Anne is round.[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule1)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
((triple4 ((triple4 ((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((triple1 ((triple1 ((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3