Anne is green. Anne is red. Anne is round. Anne is smart. Bob is green. Dave is big. Dave is green. Dave is red. Dave is round. Dave is smart. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. If someone is kind and red then they are quiet. If someone is green and smart then they are kind.
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is kind and red then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
If someone is green and smart then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Anne is round.
True
1
proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Anne is not smart.
False
1
inv-proof
[(triple4)]
("Anne" "is" "smart" "-")
triple4
Dave is kind.
True
3
proof
[(((triple7 triple10) -> rule2))]
("Dave" "is" "kind" "+")
((triple7 triple10) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple7 triple10) -> rule2))]
("Dave" "is" "kind" "-")
((triple7 triple10) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Anne is quiet.
True
5
proof
[(((((triple1 triple4) -> rule2) triple2) -> rule1))]
("Anne" "is" "quiet" "+")
((((triple1 triple4) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not quiet.
False
5
inv-proof
[(((((triple1 triple4) -> rule2) triple2) -> rule1))]
("Anne" "is" "quiet" "-")
((((triple1 triple4) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Bob is green.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Dave is smart.[(triple10)] Fiona is big.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14 OR ((triple13 triple15) -> rule1))] Fiona is red.[(triple15)] Fiona is round.[(triple16)] @1: Anne is kind.[(((triple1 triple4) -> rule2))] Dave is kind.[(((triple7 triple10) -> rule2))] @2: Anne is quiet.[(((((triple1 triple4) -> rule2) triple2) -> rule1))] Dave is quiet.[(((((triple7 triple10) -> rule2) triple8) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Dave is smart.
("Dave" "is" "smart" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
((triple13 triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 triple4) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple7 triple10) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1 triple4) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple7 triple10) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2