Anne is green. Anne is young. Dave is green. Dave is red. Fiona is furry. Fiona is green. Fiona is quiet. All furry, nice things are young. Furry, quiet things are red. Red things are nice. All kind things are nice. If something is nice and furry then it is green. All nice things are quiet. If something is quiet then it is nice. Red, furry things are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All furry, nice things are young.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Furry, quiet things are red.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
All kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is nice and furry then it is green.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
All nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet then it is nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Red, furry things are nice.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Dave is red.
True
1
proof
[(triple4)]
("Dave" "is" "red" "+")
triple4
Fiona is not quiet.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "quiet" "-")
triple7
Fiona is nice.
True
2
proof
[(((triple7) -> rule7) OR ((((triple5 triple7) -> rule2)) -> rule3) OR ((((triple5 triple7) -> rule2) triple5) -> rule8))]
("Fiona" "is" "nice" "+")
((triple7) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple5 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple5 triple7) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((triple5 triple7) -> rule2))]
("Fiona" "is" "red" "-")
((triple5 triple7) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "red" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Dave is green.[(triple3)] Dave is red.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6 OR ((((triple7) -> rule7) triple5) -> rule5) OR ((((((triple5 triple7) -> rule2)) -> rule3) triple5) -> rule5) OR ((((((triple5 triple7) -> rule2) triple5) -> rule8) triple5) -> rule5))] Fiona is quiet.[(triple7)] @1: Dave is nice.[(((triple4) -> rule3))] Fiona is nice.[(((triple7) -> rule7) OR ((((triple5 triple7) -> rule2)) -> rule3) OR ((((triple5 triple7) -> rule2) triple5) -> rule8))] Fiona is red.[(((triple5 triple7) -> rule2))] @2: Dave is quiet.[(((((triple4) -> rule3)) -> rule6))] Fiona is young.[(((triple5 ((triple7) -> rule7)) -> rule1) OR ((triple5 ((((triple5 triple7) -> rule2)) -> rule3)) -> rule1) OR ((triple5 ((((triple5 triple7) -> rule2) triple5) -> rule8)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((((triple7) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((((triple5 triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple5 triple7) -> (rule2 % int3)) triple5) -> (rule8 % int2)) triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
((triple4) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple5 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple5 triple7) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple5 triple7) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple5 ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((triple5 ((((triple5 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple5 ((((triple5 triple7) -> (rule2 % int3)) triple5) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3