Anne is big. Anne is quiet. Anne is white. Dave is big. Dave is kind. Dave is red. Dave is white. Fiona is big. Fiona is kind. Fiona is quiet. All young, red things are smart. If something is big then it is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All young, red things are smart.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If something is big then it is young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Dave is big.
True
1
proof
[(triple4)]
("Dave" "is" "big" "+")
triple4
Dave is not white.
False
1
inv-proof
[(triple7)]
("Dave" "is" "white" "-")
triple7
Dave is young.
True
2
proof
[(((triple4) -> rule2))]
("Dave" "is" "young" "+")
((triple4) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "young" "-")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is smart.
True
4
proof
[(((((triple4) -> rule2) triple6) -> rule1))]
("Dave" "is" "smart" "+")
((((triple4) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not smart.
False
4
inv-proof
[(((((triple4) -> rule2) triple6) -> rule1))]
("Dave" "is" "smart" "-")
((((triple4) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Dave is white.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] @1: Anne is young.[(((triple1) -> rule2))] Dave is young.[(((triple4) -> rule2))] Fiona is young.[(((triple8) -> rule2))] @2: Dave is smart.[(((((triple4) -> rule2) triple6) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple8) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((((triple4) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2