Anne is cold. Anne is quiet. Anne is red. Anne is round. Dave is blue. Dave is cold. Dave is red. Erin is quiet. Erin is red. Fiona is blue. If someone is red then they are smart. If someone is smart then they are blue.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
If someone is red then they are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart then they are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Dave is cold.
True
1
proof
[(triple6)]
("Dave" "is" "cold" "+")
triple6
Anne is not round.
False
1
inv-proof
[(triple4)]
("Anne" "is" "round" "-")
triple4
Erin is smart.
True
2
proof
[(((triple9) -> rule1))]
("Erin" "is" "smart" "+")
((triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Dave is not smart.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "smart" "-")
((triple7) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Anne is blue.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Anne" "is" "blue" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Erin is not blue.
False
3
inv-proof
[(((((triple9) -> rule1)) -> rule2))]
("Erin" "is" "blue" "-")
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Dave is blue.[(triple5 OR ((((triple7) -> rule1)) -> rule2))] Dave is cold.[(triple6)] Dave is red.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Fiona is blue.[(triple10)] @1: Anne is smart.[(((triple3) -> rule1))] Dave is smart.[(((triple7) -> rule1))] Erin is smart.[(((triple9) -> rule1))] @2: Anne is blue.[(((((triple3) -> rule1)) -> rule2))] Erin is blue.[(((((triple9) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Anne is smart.
("Anne" "is" "smart" "+")
((triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2