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