Dave is green. Dave is kind. Dave is not smart. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is smart. Fiona is not green. Fiona is quiet. Fiona is not red. Fiona is smart. Gary is kind. Gary is nice. Gary is round. Red things are nice. Kind things are red.
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Gary is nice.
True
1
proof
[(triple15 OR ((((triple14) -> rule2)) -> rule1))]
("Gary" "is" "nice" "+")
triple15
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Fiona is green.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "green" "+")
triple10
Dave is red.
True
2
proof
[(((triple2) -> rule2))]
("Dave" "is" "red" "+")
((triple2) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple14) -> rule2))]
("Gary" "is" "red" "-")
((triple14) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Dave is nice.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("Dave" "is" "nice" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not nice.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("Dave" "is" "nice" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is not smart.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5 OR ((triple7) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Erin is quiet.[(triple6)] Erin is red.[(triple7 OR ((triple4) -> rule2))] Erin is round.[(triple8)] Erin is smart.[(triple9)] Fiona is not green.[(triple10)] Fiona is not red.[(triple12)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15 OR ((((triple14) -> rule2)) -> rule1))] Gary is round.[(triple16)] @1: Dave is red.[(((triple2) -> rule2))] Gary is red.[(((triple14) -> rule2))] @2: Dave is nice.[(((((triple2) -> rule2)) -> rule1))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not smart.
("Dave" "is" "smart" "-")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
((triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
((triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Fiona is not green.
("Fiona" "is" "green" "-")
triple10
Fiona is not red.
("Fiona" "is" "red" "-")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple16
Dave is red.
("Dave" "is" "red" "+")
((triple2) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple14) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2