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