Bob is cold. Bob is kind. Bob is not young. Erin is blue. Erin is quiet. Erin is round. Erin is smart. Fiona is not blue. Fiona is not quiet. Fiona is smart. All young people are not cold. All young people are cold. Young people are round. If someone is smart and not blue then they are round. If Fiona is round then Fiona is kind. If someone is kind then they are not young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not young.
("Bob" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
All young people are not cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "-"))
All young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is smart and not blue then they are round.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "round" "+"))
If Fiona is round then Fiona is kind.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "kind" "+"))
If someone is kind then they are not young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "-"))
Fiona is smart.
True
1
proof
[(triple10)]
("Fiona" "is" "smart" "+")
triple10
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Fiona is round.
True
3
proof
[(((triple10 triple8) -> rule4))]
("Fiona" "is" "round" "+")
((triple10 triple8) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
3
inv-proof
[(((triple10 triple8) -> rule4))]
("Fiona" "is" "round" "-")
((triple10 triple8) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
True
4
proof
[(((((triple10 triple8) -> rule4)) -> rule5))]
("Fiona" "is" "kind" "+")
((((triple10 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not kind.
False
4
inv-proof
[(((((triple10 triple8) -> rule4)) -> rule5))]
("Fiona" "is" "kind" "-")
((((triple10 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not young.
True
5
proof
[(((((((triple10 triple8) -> rule4)) -> rule5)) -> rule6))]
("Fiona" "is" "young" "-")
((((((triple10 triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is young.
False
5
inv-proof
[(((((((triple10 triple8) -> rule4)) -> rule5)) -> rule6))]
("Fiona" "is" "young" "+")
((((((triple10 triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "+")
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is not young.[(triple3 OR ((triple2) -> rule6))] Erin is blue.[(triple4)] Erin is quiet.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Fiona is not blue.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is round.[(((triple10 triple8) -> rule4))] @2: Fiona is kind.[(((((triple10 triple8) -> rule4)) -> rule5))] @3: Fiona is not young.[(((((((triple10 triple8) -> rule4)) -> rule5)) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not young.
("Bob" "is" "young" "-")
triple3
((triple2) -> (rule6 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple10 triple8) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple10 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not young.
("Fiona" "is" "young" "-")
((((((triple10 triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3