Dave is green. Dave is not nice. Dave is red. Dave is smart. Dave is young. Erin is furry. Erin is nice. Erin is quiet. Fiona is not red. Gary is young. Nice things are young. If Fiona is smart then Fiona is young. If something is green and red then it is furry. If something is young and furry then it is red. If Erin is furry then Erin is smart. Red things are green.
Dave is green.
("Dave" "is" "green" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Gary is young.
("Gary" "is" "young" "+")
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If Fiona is smart then Fiona is young.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "young" "+"))
If something is green and red then it is furry.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If something is young and furry then it is red.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
If Erin is furry then Erin is smart.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "smart" "+"))
Red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Erin is quiet.
True
1
proof
[(triple8)]
("Erin" "is" "quiet" "+")
triple8
Dave is not young.
False
1
inv-proof
[(triple5)]
("Dave" "is" "young" "-")
triple5
Erin is smart.
True
2
proof
[(((triple6) -> rule5))]
("Erin" "is" "smart" "+")
((triple6) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple6) -> rule5))]
("Erin" "is" "smart" "-")
((triple6) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
True
4
proof
[(((((triple7) -> rule1) triple6) -> rule4))]
("Erin" "is" "red" "+")
((((triple7) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not red.
False
4
inv-proof
[(((((triple7) -> rule1) triple6) -> rule4))]
("Erin" "is" "red" "-")
((((triple7) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
True
5
proof
[(((((((triple7) -> rule1) triple6) -> rule4)) -> rule6))]
("Erin" "is" "green" "+")
((((((triple7) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not green.
False
5
inv-proof
[(((((((triple7) -> rule1) triple6) -> rule4)) -> rule6))]
("Erin" "is" "green" "-")
((((((triple7) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "-")
Gary is green.
Unknown
rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "furry" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "green" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Dave is green.[(triple1 OR ((triple3) -> rule6))] Dave is not nice.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Fiona is not red.[(triple9)] Gary is young.[(triple10)] @1: Dave is furry.[(((triple1 triple3) -> rule3) OR ((((triple3) -> rule6) triple3) -> rule3))] Erin is smart.[(((triple6) -> rule5))] Erin is young.[(((triple7) -> rule1))] @2: Erin is red.[(((((triple7) -> rule1) triple6) -> rule4))] @3: Erin is green.[(((((((triple7) -> rule1) triple6) -> rule4)) -> rule6))]
Dave is green.
("Dave" "is" "green" "+")
triple1
((triple3) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not nice.
("Dave" "is" "nice" "-")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Fiona is not red.
("Fiona" "is" "red" "-")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is furry.
("Dave" "is" "furry" "+")
((triple1 triple3) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((triple6) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((((triple7) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((((triple7) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3